1. ISO/IEC 9646. Conformance Testing Methodology and Framework (1992)
2. Ammann, P., Ding, W., Xu, D.: Using a model checker to test safety properties. In: International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, Los Alamitos (2001)
3. Lecture Notes in Computer Science;J. Blom,2005
4. Brinskma, E.: A theory for the derivation of tests. In: Protocol Specification, Testing and Verification (PSTV 1988), pp. 63–74 (1988)
5. Brinskma, E., Alderen, A., Langerak, R., van de Laagemat, J., Tretmans, J.: A formal approach to conformance testing. In: Protocol Secification, Testing and Verification (PSTV 1990), pp. 349–363 (1990)