K. S. Cheung, “A Synthesis Method for Designing Shared-Resource Systems”, Comput. Inform., vol. 24, no. 6, pp. 629–653, Feb. 2012.