R. Ekkart, I. Schieferdecker, and J. Grabowski, Development of an MSC/UML Test Heymer): Proc. FBT'2000 -Formale Beschreibungstechniken für verteilte Systeme, Shaker Verlaghtml) [Et01a] European Telecommunications Standards Institute (ETSI): Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3, Part, vol.3, p.3, 2000.

S. Goeschl, JUnit++ Testing Tool, Dr. Dobb's Journal, 2001.

S. Heymer, S. Mscs, M. Berlinis92a, . Iso, and . Iec, Information Technology -Open Systems Interconnection -Conformance Testing Methodology and Framework -Part 1: General Concepts, ISO/IEC International Standard 9646. 1992. [Is92b] ISO/IEC: Information Technology -Open Systems Interconnection -Conformance Testing Methodology and Framework -Part 3: The Tree and Tabular Combined Notation (TTCN). ISO/IEC International Standard 9646, Proc. SAM'98: 1 st conference onIt00] Iternational Telecommunications Union ? Telecommunications Sector (ITU-T): Message Sequence Chart (MSC). ITU-T Recommendation Z, 1992.

J. M. Jézéquel and A. Le-guennec, Pennaneac'h, F: Validating Distributed Software Modelled with UML, Proc. Int. Workshop UML98, 1998.

J. P. Katoen and L. Lambert, Pomsets for Message Sequence Charts, Proc. SAM'98: 1 st conference on SDL and MSC, 1998.

A. Knapp, A Formal Semantics for UML Interactions, Proc. UML'99, 1999.
DOI : 10.1007/3-540-46852-8_9

L. Lamport, On Interprocess Communication, Distributed Computing 1, 1986.

P. Leue, S. Ladkin, D. Peled, T. Wierzbicki, M. Kutylowski et al., Interpreting Message Flow Graphs In Formal Aspects of Computing Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces, Proc. MFCS'99Om01] Object Management Group (OMG): Unified Modelling Language Specification, version 1.4. OMG Draft StandardUML_1.4_RTF.html) [Ra01] Rational Software: Component Testing with Rational Quality Architect. White paper, Rational Software, 1995.