V. Albert, Simulation validity assessment in the context of embedded system design, 2009.

V. Albert, A. Nketsa, and C. Seguin, Verifying trace inclusion between an experimental frame and a model, DEVS Integrative Modeling and Simulation Symposium, 2010.

F. Boniol and V. Wiels, The Landing Gear Case Study, 4 th International ABZ Conference, Case study track. Cousot, Patrick, 1992, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-547, 2014.

D. Foures, V. Albert, and A. Nkesta, Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00868406

D. Foures, V. Albert, and A. Nkesta, Formal compatibility of experimental frame concept and FDDEVS model, 9th International Conference on Modeling, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00728676

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171714

M. , J. Mandl, T. Lee, E. A. Latronico, E. Shelton et al., Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009.

M. Simulink, Single hydraulic cylinder simulation, SIMULINK R2014a Example

M. K. Traoré and A. Muzzy, Capturing the dual relationship between simulation models and their context, Simulation Modelling Practice and Theory, vol.14, issue.2, pp.126-142, 2006.

B. Zeigler, Theory of Modelling and Simulation, 1984.