S. Boyd and H. Ural, The synchronization problem in protocol testing and its complexity, Information Processing Letters, vol.40, issue.3, pp.131-136, 1991.
DOI : 10.1016/0020-0190(91)90166-F

R. Castanet, Test de protocoles de communication. Réseaux de Communication et Techniques Formelles. Paris ? septembre, 1994.

T. S. Chow, Testing software design modelled by finit state mashines, IEEE Software Engineering, vol.4, issue.3, 1978.

A. Estelle, Formal Description Technique Based on an Extended State Transition Model. ISO9074, 1989.

D. Harkins and D. Carrel, The Internet Key Exchange (IKE). Internet-Draft, 1998.

G. E. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

S. Naito and . Tsunoyoma, Fault detection for sequential machines by transition tours. IEEE Fault Tolerant Computing Conference, 1981.

K. Sabnani and A. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems, vol.15, issue.4, pp.285-297, 1988.
DOI : 10.1016/0169-7552(88)90064-5

B. Sarikaya and G. Bohmann, Synchronisation and specification issues protocol testing, COM-32, 1984.
DOI : 10.1109/tcom.1984.1096074