Architecting dependable systems. - Lemos, Rogério de, 1961-; Gacek, Cristina, 1964-; Romanovsky, Alexander, 1954- (Lecture notes in computer science ;, 2007)