Cheung, K.S. 2012. A Synthesis Method for Designing Shared-Resource Systems. Computing and Informatics. 24, 6 (Feb. 2012), 629–653.