Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. Automated Conflict-free distributed implementation of component-based models. In IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010. pages 108-117, IEEE, 2010. [doi]
Abstract is missing.