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