Paul Caspi Adrian Curic Aude Maignan Christos Sofronis Stavros Tripakis Peter Niebert From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. 153-162 2003 conf/lctrts/2003 LCTES http://doi.acm.org/10.1145/780732.780754 db/conf/lctrts/lctes2003.html#CaspiCMSTN03