R. Alur and M. Yannakakis, Model checking of message sequence charts. proc, of the Tenth International Conference on Concurrency Theory, 1999.

C. Atkinson, Component-Based Product-Line Engineering with the UML, 2002.
DOI : 10.1007/3-540-46020-9_34

L. Briand and Y. Labiche, A UML-Based Approach to System Testing. proc, 2001.

E. Gamma, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

J. Hartmann, C. Imoberdorf, and M. Meisinger, UML-Based Integration Testing. proc, of the ACM Sigsoft International Symposium on Software Testing and Analysis, 2000.

W. Ho, UMLAUT: an extendible UML transformation framework. proc, of the Automated Software Engineering (ASE'99), (Florida, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072886

C. Jard, Principles of Distributed Test Synthesis based on True-concurrency Models. proc, 2002.

T. Jéron and P. Morel, Test generation derived from model checking. proc, of the Computer Aided Verification (CAV'99)

S. Pickin, A UML-integrated test description language for component testing. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00794311

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, pp.103-115, 1996.