1. E. Börger. Specification and Validation Methods. Oxford University Press, 1995. 331
2. Lect Notes Comput Sci;G. Castillo Del,1999
3. N. Day. A model checker for Statecharts (linking case tools with formal methods). TR 93-35, CS Dept., Univ. of British Columbia, Vancouver, B.C., Canada, 1993. 344
4. A. Durand. Modeling cache coherence protocol-a case study with FLASH. In U. Glässer and P. Schmitt, editors, Procs. of the 5th International ASM Workshop, pages 111–126, Magdeburg University, 1998. 340, 341, 343
5. T. Filkorn et. al. SVE Users’ Guide. Siemens AG, München, 1996. 331