1. R. ALur and D.Dill, “Automata for Modeling Real-Time Systems,” in Proceedings of the 17th Intern. Coll. on Automata, Languages and Programming, Lecture Notes in Comp. Sci. 443, Ed. Springer-Verlag, Warwick, UK, 1990.
2. R.J. Deasington, “Protocoles X25 pour les réseaux à commutation de paquets,” Masson, 1987.
3. R. Gotzhein and G. v. Bochmann, “Deriving Protocol Specifications from Service Specifications Including parameters,” ACM Transactions on Computer Systems, Vol. 8, N° 4, pp. 255–283, 1990.
4. Y. Iraqi, “Synthèse du protocole X.25 simplifié avec contraintes de temps. Utilisation de l’outil de Khoumsi,” Report of a project realized at the University of Montreal, April, 1996.
5. C. Kant, T. Higashino and G.v. Bochmann, “Deriving Protocol Specifications from Service Specifications Written in LOTOS,” Distributed Computing, Vol. 10, N° 1, pp. 29–47, 1996.