1. Rafiq, O., Castanet, R.: From conformance testing to interoperability testing. In: Protocol Test Systems, North-Holland, vol. III, pp. 371–385. Elsevier sciences publishers B. V., Amsterdam (1991)
2. Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Comp. Networks 43(6), 735–759 (2003)
3. Lecture Notes in Computer Science;J. Tretmans,1999
4. Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) FORTE 2001, Cheju Island, Korea, pp. 53–68 (2001)