Rogério de Lemos Cristina Gacek Alexander B. Romanovsky Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops] WADS Lecture Notes in Computer Science 4615 Springer 2007 978-3-540-74033-9 db/conf/icse/wads2006.html