M. Object and . Group, Object Constraint Language, 2010.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Programming, pp.411-420, 1999.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, World Conference on Integrated Design and Process Technology (IDPT'02), 2002.
DOI : 10.1007/s10009-004-0153-x

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, TestCom, pp.1-18, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

K. Cabrera-castillos, F. Dadeau, J. Julliand, and S. Taha, Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests, LNCS, vol.7019, pp.32-47, 2011.
DOI : 10.1007/978-3-642-24580-0_4
URL : https://hal.archives-ouvertes.fr/hal-00640312

C. Baier and J. P. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

P. Ziemann and M. Gogolla, OCL Extended with Temporal Logic, Perspectives of System Informatics, pp.617-633, 2003.
DOI : 10.1007/978-3-540-39866-0_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8259

M. Richters and M. Gogolla, OCL: Syntax, Semantics, and Tools, Object Modeling with the OCL, pp.42-68, 2002.
DOI : 10.1007/3-540-45669-4_4

M. V. Cengarle and A. Knapp, Towards OCL/RT, Formal Methods ? International Symposium of Formal Methods Europe, pp.389-408, 2002.
DOI : 10.1007/3-540-45614-7_22

D. Calegari, M. V. Cengarle, and N. Szasz, UML 2.0 interactions with OCL/RT constraints, FDL, pp.167-172, 2008.

D. Distefano, J. P. Katoen, and A. Rensink, On a Temporal Logic for Object-Based Systems, Fourth International Conference on Formal methods for open objectbased distributed systems IV, pp.305-325, 2000.
DOI : 10.1093/logcom/5.5.603

J. Mullins and R. Oarga, Model checking of extended OCL constraints on UML models in SOCLe In Formal Methods for Open Object-Based Distributed Systems, Cyprus, pp.59-75, 2007.

S. Flake and W. Mueller, Formal semantics of static and temporal state-oriented OCL constraints, Software and Systems Modeling (SoSyM), p.186, 2003.
DOI : 10.1016/0167-6423(87)90035-9

J. C. Bradfield, J. K. Filipe, and P. Stevens, Enriching OCL Using Observational Mu-Calculus, 5th International Conference on Fundamental Approaches to Software Engineering, FASE'02, pp.203-217, 2002.
DOI : 10.1007/3-540-45923-5_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1939

S. Ramakrishnan and J. Mcgregor, Extending OCL to support temporal operators, 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, 1999.

S. Conrad and K. Turowski, Temporal OCL, Unified Modeling Language: Systems Analysis, Design, and Development Issues, pp.151-166, 2001.
DOI : 10.4018/978-1-930708-05-1.ch010

M. Object and . Group, UML profile for Modeling and Analysis of Real-Time and Embedded systems, MARTE), 2009.

Y. Ledru, L. Du-bousquet, O. Maury, and P. Bontron, Filtering TOBIAS Combinatorial Test Suites, Fundamental Approaches to Software Engineering, pp.281-294, 2004.
DOI : 10.1007/978-3-540-24721-0_21

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, pp.49-79, 1996.
DOI : 10.1016/S0169-7552(96)00017-7