1. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software— Concepts and Tools 17, 103–120 (1996)
2. Lecture Notes in Computer Science;J. Tretmans,1999
3. Fernandez, J.C., Jard, C., Jéron, T., Viho, C.: An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming – Special Issue on COST247, Verification and Validation Methods for Formal Descriptions 29, 123–146 (1997)
4. He, J., Turner, K.: Protocol-Inspired Hardware Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int.Workshop on Testing of Communicating Systems 12, pp. 131–147. Kluwer Academic Publishers, Dordrecht (1999)
5. Belinfante, A., Feenstra, J., Vries, R.d., Tretmans, J., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12thInt. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)