Architecting Dependable Systems VII - Casimiro, Antonio; Lemos, Rogério de; Gacek, Cristina (Springer Berlin Heidelberg, 2010)