1. Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a “safe” subset of simulink/stateflow into lustre. In: EMSOFT 2004, pp. 259–268. ACM, New York (2004)
2. Roy, P., Shankar, N.: SimCheck: An expressive type system for Simulink. In: NASA Formal Methods Symposium, pp. 149–160 (2010)
3. Lecture Notes in Computer Science;M. Whalen,2008
4. Peters, D.K., Lawford, M., Trancon y Widemann, B.: An IDE for software development using tabular expressions. In: CASCON 2007, pp. 248–251. ACM, Toronto (2007)
5. Bharadwaj, R., Heitmeyer, C.: Developing high assurance avionics systems with the SCR requirements method. In: Proceedings of the 19th on Digital Avionics Systems Conferences, DASC, vol. 1, pp. 1D1/1–1D1/8 (2000)