Architecting Dependable Systems III - Rogério Lemos, Cristina Gacek, Alexander Romanovsky ((Lecture Notes in Computer Science))