Bernardi, Simona, Lacramioara Dranca, and José Merseguer. "A model-driven approach to survivability requirements assessment for critical systems." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 230, no. 5 (2016): 485-501.