Interoperability Test Suite Derivation for the TCP. - Soonuk Seol; Myungchul Kim 001; Sungwon Kang; Yongbum Park; Younghan Choe (FORTE, 1999)