Amit M. Paradkar: Towards model-based generation of self-priming and self-checking conformance tests for interactive system. Inf. Softw. Technol. 46(5): 315-322 (2004)