Cheung, K. S. (2012). A Synthesis Method for Designing Shared-Resource Systems. COMPUTING AND INFORMATICS, 24(6), 629–653. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/405