Universidad de Zaragoza Repository

@article{Bernardi:106601,
      author        = "Bernardi, S. and Gentile, U. and Marrone, S. and
                       Merseguer, J. and Nardone, R.",
      title         = "{Security modelling and formal verification of
                       survivability properties: Application to cyber–physical
                       systems}",
      year          = "2021",
}