Radu Mateescu. Model Checking for Software Architectures. In Flávio Oquendo, Brian Warboys, Ronald Morrison, editors, Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings. Volume 3047 of Lecture Notes in Computer Science, pages 219-224, Springer, 2004. [doi]