Model-Driven Dependability Assessment of Software Systems - Bernardi, Simona; Bernardi; Merseguer, José; Petriu, Dorina Corina (Springer Berlin Heidelberg, 2013)