"Architecting Dependable Systems, ICSE 2002" - читать интересную книгу автора (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky)