Howard E. Motteler Anthony Chung Deepinder P. Sidhu Fault Coverage of UIO-based Methods for Protocol Testing. 21-34 1993 conf/pts/1993 Protocol Test Systems db/conf/pts/pts1993.html#MottelerCS93