From high-level component-based models to distributed implementations.

Borzoo Bonakdarpour Marius Bozga Mohamad Jaber Jean Quilbeuf Joseph Sifakis From high-level component-based models to distributed implementations. 209-218 2010 EMSOFT http://doi.acm.org/10.1145/1879021.1879049 conf/emsoft/2010 db/conf/emsoft/emsoft2010.html#BonakdarpourBJQS10