Nondeterministic State Machines in Protocol Conformance Testing. - Alexandre Petrenko; Nina Yevtushenko 001; Alexandre Lebedev; Anindya Das (Protocol Test Systems, 1993)