Simona Bernardi 0001, Ugo Gentile, Stefano Marrone 0001, José Merseguer, Roberto Nardone. Security modelling and formal verification of survivability properties: Application to cyber-physical systems. Journal of Systems and Software, 171:110746, 2021. [doi]
@article{BernardiGMMN21,
title = {Security modelling and formal verification of survivability properties: Application to cyber-physical systems},
author = {Simona Bernardi 0001 and Ugo Gentile and Stefano Marrone 0001 and José Merseguer and Roberto Nardone},
year = {2021},
doi = {10.1016/j.jss.2020.110746},
url = {https://doi.org/10.1016/j.jss.2020.110746},
researchr = {https://researchr.org/publication/BernardiGMMN21},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {171},
pages = {110746},
}