1. Lecture Notes in Computer Science;H. Garavel,1998
2. Lecture Notes in Computer Science;H. Garavel,2007
3. Blom, S.C.C., van de Pol, J., Weber, M.: Bridging the gap between enumerative and symbolic model checkers. Technical Report TR-CTIT-09-30, University of Twente, Enschede (2009)
4. Lecture Notes in Computer Science;S. Blom,2008
5. Tretmans, G.J., Brinksma, H.: TorX: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 13–43 (2003)