A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

J. Carroll, Five reasons for scenario-based design, Interacting with Computers, vol.13, issue.1, pp.43-60, 2000.
DOI : 10.1016/S0953-5438(00)00023-0

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

D. Harel and A. Pnueli, Logics and models of concurrent systems. chap. On the development of reactive systems, pp.477-498, 1985.

E. Jahier, P. Raymond, and P. Baufreton, Case studies with Lurette V2, International Journal on Software Tools for Technology Transfer, vol.176, issue.(1???2, pp.517-530, 2006.
DOI : 10.1007/s10009-006-0023-9
URL : https://hal.archives-ouvertes.fr/hal-00389838

B. Marre and B. Blanc, Test Selection Strategies for Lustre Descriptions in GATeL, Electronic Notes in Theoretical Computer Science, vol.111, pp.93-111, 2005.
DOI : 10.1016/j.entcs.2004.12.010

J. D. Musa, Operational profiles in software-reliability engineering, IEEE Software, vol.10, issue.2, pp.14-32, 1993.
DOI : 10.1109/52.199724

V. Papailiopoulou, B. Seljimi, and I. Parissis, Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation, Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009. p. 8 pages.Heì ene Waeselynck, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00381548

B. Seljimi and I. Parissis, Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs, 2006 17th International Symposium on Software Reliability Engineering, pp.105-116
DOI : 10.1109/ISSRE.2006.49

A. Wu-hen-chang, G. Adamis, L. Er?-os, G. Kovács, and T. Csöndes, A New Approach in Model-Based Testing: Designing Test Models in TTCN-3, Proceedings of the 15th International Conference on Integrating System and Software Modeling, pp.90-105978, 2011.
DOI : 10.1007/11498490_13

F. Zucatto, C. Biscassi, F. Monsignore, F. Fidelix, S. Coutinho et al., ZigBee for building control wireless sensor networks, 2007 SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference, pp.511-515, 2007.
DOI : 10.1109/IMOC.2007.4404317