R. Alur and D. “. Dill, A Theory of Timed Automata”, Theoretical computer Science, pp.183-235, 2004.

M. Bozga, S. Graf, and M. L. , IF2: A validation environment for component-based real-time systems”, Proceedings of Conference on Computer Aided Verification, CAV’'02, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00357518

T. Clarke, A. Evans, P. Sammut, and J. “. Willians, Applied Meamodeling: A foundation for Language Driven Development”, 2004.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification”, Proc. of the 21st Int. Conf. on Software Engineering, pp.411-420, 1999.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, 3rd int. Conf. on Algebraic Methodology and Software Technology (AMAST'93), 1993.
DOI : 10.1007/978-1-4471-3227-1_8

O. Haugen, K. E. Husa, R. K. Runde, and K. Stolen, STAIRS towards formal design with sequence diagrams, journal of Software and System Modeling, 2005.
DOI : 10.1007/s10270-005-0087-0

J. Fernandez, CADP a protocol validation and verification toolbox, Proceedings of CAV'96 (new, 1996.
DOI : 10.1007/3-540-61474-5_97

W. Janssen, R. Mateescu, S. Mauw, P. Fennema, and P. “. Stappen, Model Checking for Managers, Conference Spin’'99, pp.92-107, 1999.
DOI : 10.1007/3-540-48234-2_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4028

S. Konrad and B. “. Cheng, Real-Time Specification Patterns”, Proc. Of the 27th Int. Conf. on Software Engineering (ICSE05), 2005.
DOI : 10.1109/icse.2005.1553580

J. C. Roger, Exploitation de contextes et d’'observateurs pour la vérification formelle de modèles, Univ. of Rennes I, 2006.

R. Smith, G. S. Avrunin, L. Clarke, and L. “. Osterweil, PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.11-21, 2002.
DOI : 10.1145/581339.581345

J. “. Whittle, Specifying Precise Use Cases with Use Case Charts, MoDELS'06, Satellite Events, pp.290-301, 2005.
DOI : 10.1007/11663430_30

B. Berthomieu and F. Vernadat, Time Petri nets analysis with TINA”, 3rd Int. Conf. on the Quantitative Evaluation of Systems (QEST’'2006), pp.11-14, 2006.
DOI : 10.1002/9780470611012.ch1

B. Berthomieu, J. Bodeveix, M. Filali, H. Garavel, F. Lang et al., The Syntax and Semantics of FIACRE, Version 1.0 alpha”

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.2, pp.244-263, 1986.

J. Hassine, J. Rilling, and R. Dssouli, Use Case Maps as a property specification language, Software System Model, pp.205-220, 2009.
DOI : 10.1007/s10270-007-0076-6

Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems, 1992.
DOI : 10.1007/978-1-4612-0931-7

P. Feiler, D. P. Gluch, and J. J. Et-hudak, The Architecture Analysis and Design Language (AADL):An introduction, Society of Automotive Engineers, 2006.

. Ph, F. Dhaussy, and . Boniol, Mise en œoeuvre de composants MDA pour la validation formelle de modéles de systèmes d’'information embarqués. RSTI, pp.133-157, 2007.

. Ph, J. Dhaussy, S. Auvray, F. De-belloy, and E. Boniol, Using context descriptions and property definition patterns for software formal verification, Workshop Modevva’'08, 2008.

. Ph, S. Dhaussy, P. Creff, V. Pillain, and . Leilde, « CDL language specification (Context Description Language) », technical report version N° DTN, 2009.