1. Asarin, E., Dang, T., Esteban, J.: Simulation of hybrid automata using Matlab/Simulink. Technical report, Verimag (2003)
2. Åström, K.J., Wittenmark, B.: Computer Controlled Systems. Prentice-Hall, Englewood Cliffs (1984)
3. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. Verimag Research Report (July 2003)
4. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003), ACM, New York (2003)
5. Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: ACM SIGPLAN International Conference on Functional Programming, pp. 226–238 (1996)