Tretmans, J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Software, Concepts and Tools, 17, 103-120.
has been cited by the following article: