SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings - Khendek, Ferhat.; Toeroe, Maria.; Gherbi, Abdelouahed.; Reed, Rick. (Springer Berlin Heidelberg : Imprint: Springer, 2013)