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]
Abstract is missing.