Architecting Dependable Systems VII - Antonio Casimiro, Rogério Lemos, Cristina Gacek ((Lecture Notes in Computer Science))