Cheung, K. S. (2005). A Synthesis Method for Designing Shared-Resource Systems. Computing and Informatics, 24(6), 629–653. https://cai.type.sk/content/2005/6/a-synthesis-method-for-designing-shared-resource-systems/