]. A. Beugnard, Communication Services as Components for Telecommunication Applications, Proc. 14th European Conference on Object-Oriented Programming, 2000.

A. Brucker and B. Wolff, Testing distributed component based systems using UML/OCL, Workshop on Integrating Diagrammatic and Formal Specification Techniques, pp.17-23, 2001.

E. Cariou, Spécification de composants de communication en UML http://www.-info.enst-bretagne.fr/medium. [4] S. Cimato. A Methodology for the Specification of Java Components and Architectures, Proc. Objets, Composants, Modèles (OCM'2000), 1999.

S. Cimato, Specifying Component-Based Java Applications, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp.105-112, 1999.
DOI : 10.1007/978-0-387-35562-7_9

W. Damm and D. Harel, LSCs: Breathing life into message sequence charts, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1999.

D. Flanagan, Java in a Nutshell, 1999.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: Elements of reusable object-oriented software, 1995.

J. Klose and H. Wittke, An Automata Based Interpretation of Live Sequence Charts, Proc. TACAS'2001, 2001.
DOI : 10.1007/3-540-45319-9_35

J. Rumbaugh, I. Jacobsen, and G. Booch, Unified Modeling Language Reference Manual, 1997.

G. Smith, The Object-Z Specification Language, 1999.
DOI : 10.1007/978-1-4615-5265-9

G. Smith, T. Kammüller, and . Santen, Encoding Object-Z in Isabelle/HOL, ZB2002, LNCS, 2002.
DOI : 10.1007/3-540-45648-1_5

C. Szyperski, Component Software, 1999.

A. M. Zaremski and J. M. Wing, Specification matching of software components, Proc. of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Software Engineering Notes, pp.6-17, 1995.