TY  - RPRT
TI  - A Formal Approach to Cyber-Physical Attacks
AU  - Ruggero Lanotte
AU  - Massimo Merro
AU  - Riccardo Muradore
AU  - Luca Viganò
PY  - 2017
UR  - https://arxiv.org/abs/1611.01377
ID  - 1611.01377
ER  -