A New Model with Time Constraints for Conformance Testing of Communication Protocols. - Daisuke Teratani; Yoshiaki Kakuda; Tohru Kikuno (Asian Test Symposium, 1996)