SDL 2013: Model-Driven Dependability Engineering - Khendek, Ferhat; Toeroe, Maria; Gherbi, Abdelouahed; Reed, Rick; Gherbi, Abdelouahed; Reed, Rick; Toeroe, Maria (Springer Berlin Heidelberg, 2013)