Rogério de Lemos Cristina Gacek Alexander B. Romanovsky Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops] 3549 2005 3-540-28968-2 WADS Lecture Notes in Computer Science Springer db/conf/icse/wads2004.html