Cheung, K.S. 2012. A Synthesis Method for Designing Shared-Resource Systems. COMPUTING AND INFORMATICS. 24, 6 (Feb. 2012), 629–653.