F. K. Frantz, A taxonomy of model abstraction techniques,in: WSC '95: Proceedings of the 27th conference on Winter simulation, IEEE Computer Society, pp.1413-1420, 1995.

D. S. Weld, Reasoning about model accuracy, Artificial Intelligence, vol.56, issue.2-3, pp.255-300, 1992.
DOI : 10.1016/0004-3702(92)90029-W

V. Albert, Simulation validity assessment, 2009.

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, 2000.

R. G. Sargent, Verification and validation of simulation models, WSC '05: Proceedings of the 37th conference on Winter simulation, Winter Simulation Conference, pp.130-143, 2005.

D. Brade, Vv&a ii: enhancing modeling and simulation accreditation by structuring verification and validationresults, in: WSC '00: Proceedings of the 32nd conference on Winter simulation, Society for Computer Simulation International, pp.840-848, 2000.

S. Schulz, J. W. Rozenblit, and K. Buchenrieder, Towards an application of model-based codesign: an autonomous, intelligent cruise controller, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, pp.73-80, 1997.
DOI : 10.1109/ECBS.1997.581813

M. K. Traoré and A. Muzy, Capturing the dual relationship between simulation models and their context, Simulation Modeling Practice and Theory, pp.126-142, 2006.

B. Bonte, R. Duboz, G. Quesnel, and J. Muller, Recursive simulation and experimental frame for multiscale simulation, Proceedings of the 2009 Summer Computer Simulation Conference, pp.164-172, 2009.

S. Kops, H. Vangheluwe, F. Claeys, F. Coen, P. Vanrolleghem et al., The Process of Model Building and Simulation of Ill-Defined Systems: Application to Wastewater Treatment, Mathematical and Computer Modelling of Dynamical Systems, vol.5, issue.4, pp.29-35, 1999.
DOI : 10.1076/mcmd.5.4.298.3675

E. Lee and Y. Xiong, Behavioural types for component based design

L. Alfaro and T. A. Henzinger, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp.109-120, 2001.

E. Filiot, N. Jin, and J. Raskin, An Antichain Algorithm for LTL Realizability, pp.263-277, 2009.
DOI : 10.1007/978-3-540-78800-3_6
URL : https://hal.archives-ouvertes.fr/inria-00489952

R. Alur, L. Fix, and T. A. Henzinger, Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, vol.211, issue.1-2, pp.1-13, 1999.
DOI : 10.1016/S0304-3975(97)00173-4

B. , D. Giampaolo, G. Geeraerts, J. Raskin, and N. Sznajder, Safraless procedures for timed specifications, Proceedings of FORMATS 2010 8th International Conference on Formal Modeling and Analysis of Timed Systems, 2010.

G. Behrmann, A. David, and K. G. Larsen, Forma lMethods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,SFM-RT, LNCS, issue.3185, pp.200-236, 2004.

F. Cavaliere, F. Mari, I. Melatti, G. Minei, I. Salvo et al., Model Checking Satellite Operational Procedures, DAta Systems In Aerospace (DASIA), 2011.

D. L. Dill and S. Tasiran, Formal verification meets simulation (embedded tutorial) (abstract only), in: Proceedings of the, IEEE/ACM international conferenceon Computer-aided design, issue.99, p.221, 1999.

S. Tasiran, A functional validation technique: biased-random simulation guided by observability-based coverage, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001, pp.82-88, 2001.
DOI : 10.1109/ICCD.2001.955007
URL : http://network.ku.edu.tr/~stasiran/publications/225_tasiran.pdf

D. Karlson, P. Eles, and Z. Peng, Validation of Embedded Systems Using Formal Method Aided Simulation, 8th Euromicro Conference on Digital System Design (DSD'05), pp.196-201, 2005.
DOI : 10.1109/DSD.2005.75

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2000.
DOI : 10.1145/568438.568455

V. Albert and A. Nketsa, Signature matching applied to simulation/frame duality, The Fourth International Conference on Systems, pp.190-196, 2009.
DOI : 10.1109/icons.2009.32

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

U. Palmquist, Intelligent cruise control and roadside information, IEEE Micro, vol.13, issue.1, pp.20-28, 1993.
DOI : 10.1109/40.210522

T. Mancini, F. Mari, A. Massini, I. Melati, and E. Tronci, System Level Formal Verification via Model Checking Driven Simulation, Proceedings of the 25 th International conference on computer aided verification pp, pp.269-312, 2013.
DOI : 10.1007/978-3-642-39799-8_21