Text this: SDL 2013 : model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / Ferhat Khendek [and others] (eds.).