. J. Tretmans, « Test Generation with Inputs, Outputs and Repetitive Quiescence, Software?Concepts and Tools, pp.103-120, 1996.