Bruni, Roberto and Bucchiarone, Antonio and Gnesi, Stefania and Hirsch, Dan and Lluch-Lafuente, Alberto Graph-Based Design and Analysis of Dynamic Software Architectures. In: Concurrency, Graphs and Models ('08). Lecture Notes in Computer Science, 5065 . Springer, pp. 37-56. ISBN 978-3-540-68676-7 (2008)