1. R. Alur, F. Ivancic, J. Kim, I. Lee, O. Sokolsky, Generating embedded software from hierarchical hybrid models, in: Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems, 2003, pp. 171–182
2. Computer-Controlled Systems: Theory and Design;Aström,1997
3. G. Berry, G. Gonthier, The synchronous programming language esterel: Design, semantics, implementation, Technical Report 842, INRIA, 1988
4. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications;Buttazo,1997
5. Translating discrete-time Simulink to Lustre;Caspi,2003