Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study.

Ruggero Lanotte, Massimo Merro, Nicola Zannone

Browse the full FORTE paper archive.