SDL 2013: Model-Driven Dependability Engineering - Khendek (Springer Berlin Heidelberg, 2013)