We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type inference, clock inference and hierarchical bottom-up translation. In the process, we formalise typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L. The tool has been used to translate part of an industrial automotive controller provided by Audi. © Springer-Verlag Berlin Heidelberg 2003.
Caspi, P., Curie, A., Maignan, A., Sofronis, C., & Tripakis, S. (2003). Translating discrete-time Simulink to Lustre. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2855, 84–99. https://doi.org/10.1007/978-3-540-45212-6_7