@proceedings{17567,
  author = {Simona Bernardi and Lacramioara Dranca and José Merseguer},
  title = {Modelling and Verification of Survivability Requirements for Critical Systems},
  year = {2014},
  journal = {Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS},
  month = {September 1-2},
  address = {Grenoble, France},
  language = {eng},
}