R. Groz, Unrestricted verification of protocol properties on a simulation: an observer approach, 6 th IFIP International Workshop on Protocol Specification, Testing, and Verification, 1986.

, Estelle: a Formal Description Technique based on an Extented State Transition Model, ISO 9074, 1989.

C. Jard, R. Groz, and J. F. Monin, Development of VEDA: a prototyping tool for distributed algorithms, In IEEE Trans. on Software Engin, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00071322

C. Jard and J. Jézéquel, A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines, Proc. of the 9 th IFIP International Workshop on Protocol Specification, Testing, and Verification, 1989.
URL : https://hal.archives-ouvertes.fr/hal-00765072

, TRANSPAC. Spécifications Techniques d'Utilisation du Réseau. Direction Commerciale, Tour Montparnasse, 33 av. du Maine 75755, 1989.