Myungchul Kim Sangjo Yoo Jinhee Park Sungwon Kang Soon J. Hyun Hyuckjae Lee A dynamic protocol conformance test method. 31-43 2003 67 Journal of Systems and Software 1 http://dx.doi.org/10.1016/S0164-1212(02)00085-7 db/journals/jss/jss67.html#KimYPKHL03