Translating Discrete-Time Simulink to Lustre. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis (EMSOFT, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

Translating discrete-time simulink to lustre. - Stavros Tripakis; Christos Sofronis; Paul Caspi; Adrian Curic (ACM Trans. Embed. Comput. Syst., 2005)

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. - Hubert Garavel; Radu Mateescu 001; Damien Bergamini; Adrian Curic; Nicolas Descoubes; Christophe Joubert; Irina Smarandache-Sturm; Gilles Stragier (TACAS, 2006)