I. Abdelhalim, S. Schneider, and H. Treharne, Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP, ICFEM, 2011.
DOI : 10.1007/978-3-642-02144-2_14
URL : http://www.computing.surrey.ac.uk/personal/st/S.Schneider/papers/2011/ICFEM11.pdf

A. A. Andrews, R. B. France, S. Ghosh, and G. Craig, Test adequacy criteria for UML design models, Software Testing, Verification and Reliability, vol.17, issue.2, 2003.
DOI : 10.1109/TSE.1986.6313008

B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, ICTSS, 2012.
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398

B. Bannour, C. Gaston, A. Lapitre, and J. P. Escobedo, Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, 2012.
DOI : 10.1109/HASE.2012.18

A. Cavalli, D. Lee, C. Rinderknecht, and F. Za¨?diza¨?di, Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, 1999.
DOI : 10.1007/978-0-387-35578-8_3
URL : https://link.springer.com/content/pdf/10.1007%2F978-0-387-35578-8_3.pdf

F. Craciun, S. Motogna, and I. Lazar, Towards Better Testing of fUML Models, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013.
DOI : 10.1109/ICST.2013.67

T. T. Dinh-trong, S. Ghosh, and R. B. France, A Systematic Approach to Generate Inputs to Test UML Design Models, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.10

A. Faivre, C. Gaston, P. L. Gall, and A. Touil, Test Purpose Concretization through Symbolic Action Refinement, TestCom/FATES, 2008.
DOI : 10.1007/11430230_7

O. M. Group, A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL, 2009.

O. M. Group, Pscs: Precise semantics of uml composite structures, 2013. Second revised submission

O. M. Group, Semantics of a foundational subset for executable uml models (fUML), 2013

I. Recommendation and Z. , Message Sequence Chart (MSC), 1997.

J. King, A new approach to program testing, Proc. of Int. Conf. on Reliable software, 1975.
DOI : 10.1145/390016.808444

M. S. Lund and K. Stølen, Deriving tests from UML 2.0 sequence diagrams with neg and assert, Proceedings of the 2006 international workshop on Automation of software test , AST '06, 2006.
DOI : 10.1145/1138929.1138934

S. Mijatov, P. Langer, T. Mayerhofer, and G. Kappel, A framework for testing UML activities based on fUML, MoDeVVaMoDELS, 2013.

S. Pickin, C. Jard, T. Jéron, J. Jézéquel, and Y. L. Traon, Test Synthesis from UML Models of Distributed Software, IEEE Transactions on Software Engineering, vol.33, issue.4, 2007.
DOI : 10.1109/TSE.2007.39
URL : https://hal.archives-ouvertes.fr/hal-00794606

E. Planas, J. Cabot, and C. Gómez, Lightweight Verification of Executable Models, ER, 2011.
DOI : 10.1007/978-3-642-02144-2_9
URL : https://hal.archives-ouvertes.fr/inria-00610208

A. Roychoudhury, A. Goel, and B. Sengupta, Symbolic message sequence charts, ACM Trans. Softw. Eng. Methodol, 2012.
DOI : 10.1145/2089116.2089122
URL : http://www.comp.nus.edu.sg/%7Eabhik/pdf/tosem11.pdf

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, 2008.
DOI : 10.1007/978-3-540-85778-5_18

J. Tatibouet, A. Cuccuru, S. Gerard, and F. Terrier, Principles for the realization of an open simulation framework based on fuml (WIP), DEVS. ACM, 2013.