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