Jan Tretmans Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. 49-79 1996 29 Computer Networks and ISDN Systems 1 db/journals/cn/cn29.html#Tretmans96 http://dx.doi.org/10.1016/S0169-7552(96)00017-7