Marc Poulhiès Jacques Pulou Christophe Rippert Joseph Sifakis A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. 75-96 2006 conf/monterey/2006 Monterey Workshop http://dx.doi.org/10.1007/978-3-540-77419-8_5 db/conf/monterey/monterey2006.html#PoulhiesPRS06