SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings - Khendek, Ferhat (Herausgeber); Toeroe, Maria (Herausgeber); Gherbi, Abdelouahed (Herausgeber); Reed, Rick (Herausgeber) (Computer Communication Networks and Telecommunications, 2013)