1. Baresi, L., Heckel, R., Thöne, S., Varró, D.: Modeling and analysis of architectural styles. In: Proc. ESEC 2003: European Software Engineering Conference, Helsinki, Finland (2003) (accepted paper)
2. Lecture Notes in Computer Science;G. Engels,2001
3. Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279–295 (1997)
4. Latella, D., Majzik, I., Massink, M.: Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing 11(6), 637–664 (1999)
5. Varr??, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling (2003);