1. J. Alilovic-Curgus and S. T. Vuong, “A Metric Based Theory of Test Selection and Coverage”, IFIP Transactions, the Proceedings of the IFIP 13th Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 1993, pp. 289–304.
2. J. Arkko, “On the Existence and Production of State Identification Machines for Labelled Transition Systems”, FORTE’93.
3. G. v. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi, and G. Luo, “Fault Models in Testing”, IFIP Transactions, Protocol Test Systems, IV (the Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991 ), Ed. by Jan Kroon, Rudolf J. Heijink and Ed Brinksma, 1992, North-Holland.
4. G. v. Bochmann and A. Petrenko, “Protocol Testing: Review of Methods and Relevance for Software Testing”, ISSTA’94, ACM International Symposium on Software Testing and Analysis, Seattle, U.S.A., 1994.
5. S. Boyd and H. Ural, “The Synchronization Problem in Protocol Testing and its Complexity”, Inf. Proc. Letters, Vol. 40, No. 8, 1991.