Cheung, K. S. A Synthesis Method for Designing Shared-Resource Systems. Comput. Inform. 2012, 24, 629-653.