Architecting Dependable Systems VI - Lemos, Rogério de; Fabre, Jean-Charles; Gacek, Cristina; Gadducci, Fabio; Beek, Maurice ter (Springer Berlin Heidelberg, 2009)