References

[1]

The MathWorks. Stateflow and stateflow coder, user's guide. Available at http://www.mathworks.com/products/stateflow/.

[2]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305--1320, September 1991.

[3]

N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, and F. Maraninchi. Defining and translating a ``safe'' subset of Simulink/Stateflow into Lustre. Technical Report TR-2004-16, Laboratoire VERIMAG, Centre Equation, 2, avenue de Vignate, 38610 GIERES, France, 2004. http://www-verimag.imag.fr.

[4]

N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, and F. Maraninchi. Defining and translating a ``safe'' subset of Simulink/Stateflow into Lustre. In Proc. EMSOFT 2004, Pisa, Italy, Sep 2004. Springer.

[5]

P. Caspi, A. Curic, A. Maignan, C. Sofronis, and S. Tripakis. Translating discrete-time simulink to lustre. In R. Alur and I. Lee, editors, EMSOFT'03, Lecture Notes in Computer Science. Springer Verlag, 2003.

[6]

Esterel Technologies, Inc. SCADE Language - Reference Manual 2.1.

[7]

N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous data-flow programming language Lustre. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems, September 1992.