King Sing Cheung A Synthesis Method for Designing Shared-Resource Systems. 2005 24 Comput. Artif. Intell. 6 db/journals/cai/cai24.html#Cheung05 http://www.cai.sk/ojs/index.php/cai/article/view/405 629-653