A model-driven approach to survivability requirements assessment for critical systems Publication Type: Journal Article Authors: Simona Bernardi; Lacramioara Dranca; José Merseguer Source: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Volume 230, Issue 5, p.485-501 (2016)