Architecting dependable systems VII - Casimiro, Antonio.; Lemos, Rogério de,; Gacek, Cristina, (Springer,)