Séverine Sentilles Anders Pettersson Dag Nyström Thomas Nolte Paul Pettersson Ivica Crnkovic Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. 607-610 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070567 conf/icse/2009 db/conf/icse/icse2009.html#SentillesPNNPC09