B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hantz, The AVALON Project: A VALidatiON environment for SDL/MSC Descriptions, SDL 93 Forum, 1993.

G. Booch, Object-Oriented Analysis and Design with Applications, 1994.

J. Fernandez, C. Jard, T. Jéron, and L. Mounier, On-the-fly verification of finite transition systems, Formal Methods in System Design, vol.2, issue.23, pp.251-273, 1993.
DOI : 10.1007/BF00121127
URL : https://hal.archives-ouvertes.fr/inria-00074812

J. Fernandez, H. Garavel, L. Mounier, C. R. Rasse, and J. Sifakis, A toolbox for the verification of programs, International Conference on Software Engineering , ICSE'14, pp.246-259, 1992.

J. Fernandez, C. Jard, T. Jéron, and C. Viho, Using on-the-fly verification techniques for the generation of test suites, Conference on Computer-Aided Verification (CAV '96), 1996.
DOI : 10.1007/3-540-61474-5_82
URL : https://hal.archives-ouvertes.fr/inria-00073711

J. Fernandez, C. Jard, T. Jéron, and C. Viho, An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, vol.29, issue.1-2, pp.123-146, 1997.
DOI : 10.1016/S0167-6423(96)00032-9
URL : https://hal.archives-ouvertes.fr/inria-00073775

M. Fowler, E. Gamma, R. Helm, R. Johnson, and J. Vlissides, UML Distilled : Applying the Standard Object Modeling Language Addison-Wesley Object Technology series, Design Patterns: Elements of Reusable Object-Oriented Software, 1997.

S. Graf, J. Richier, C. Rodriguez, and J. Voiron, What are the limits of model checking methods for the verification of real life protocols?, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, pp.189-196, 1989.
DOI : 10.1007/3-540-52148-8_23

I. Lotos, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour.I S O, 1985.

M. Jackson, System Development, Series in Computer Science, 1985.
URL : https://hal.archives-ouvertes.fr/hal-01472305

I. Jacobson, Object-Oriented Software Engineering : A Use Case Driven Approach, 1994.

C. Jard, R. Groz, and J. Monin, Development of Veda, a prototyping tool for distributed algorithms, IEEE Transactions on Software Engineering, vol.14, issue.3, pp.339-352, 1988.
DOI : 10.1109/32.4654
URL : https://hal.archives-ouvertes.fr/inria-00071322

T. Jéron and P. Morel, Abstraction, ? -réduction et déterminisationàlisation`isationàl av o lée : applicationàlapplication`applicationàl agénérationag´agénération de test, 1997.

J. Jézéquel, Experience in validating protocol integration using Estelle, Proc. of the Third International Conference on Formal Description Techniques, 1990.

J. Jézéquel, X. Desmaison, and F. Guerber, Performance issues in implementing a portable SMDS server, IFIP, editor, 6th International IFIP Conference On High Performance Networking, pp.267-278, 1995.

S. Kirani, Specification and Verification of Object-Oriented Programs, 1994.

B. Meyer, Eiffel: The Language, 1992.

D. E. Monarchi and G. I. Puhr, A research typology for object-oriented analysis and design, Communications of the ACM, vol.9, issue.35, pp.35-47, 1992.

R. M. Poston, Automated testing from object models, Communications of the ACM, vol.37, issue.9, pp.48-58, 1994.
DOI : 10.1145/182987.184074

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design.P r e n tice Hall, 1991.

C. Stirling and D. Walker, Local model checking in the modal mu-calculus, TAP- SOFT'89 : Theory and Practice of Software Development, 1989.