Soonuk Seol Myungchul Kim Sungwon Kang Jiwon Ryu Fully automated interoperability test suite derivation for communication protocols. 735-759 2003 43 Computer Networks 6 http://dx.doi.org/10.1016/S1389-1286(03)00316-5 db/journals/cn/cn43.html#SeolKKR03