Model-Driven Dependability Assessment of Software Systems

by Simona Bernardi, José Merseguer, Dorina Corina Petriu