Architecting Dependable Systems IV - Lemos, Rogério de; Gacek, Cristina; Romanovsky, Alexander (Springer Berlin Heidelberg, 2007)