TY  - RPRT
TI  - A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
AU  - Ruggero Lanotte
AU  - Massimo Merro
AU  - Andrei Munteanu
AU  - Luca Viganò
PY  - 2021
UR  - https://arxiv.org/abs/1902.04572
ID  - 1902.04572
ER  -