T
[Tre96] Jan Tretmans. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1):49-79. Elsevier, 1996. 
@article{cnISDNs29(1)-Tre,
  author =              {Tretmans, Jan},
  title =               {Conformance Testing with Labelled Transition
                         Systems: Implementation Relations and Test
                         Generation},
  publisher =           {Elsevier},
  journal =             {Computer Networks and {ISDN} Systems},
  volume =              {29},
  number =              {1},
  pages =               {49-79},
  year =                {1996},
  doi =                 {10.1016/S0169-7552(96)00017-7},
}
List of authors