Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A Modest Security Analysis of Cyber-Physical Systems: A Case Study. Christel Baier; Luís Caires. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE),
HAL Archives-Ouvertes,
Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A Modest Security Analysis of Cyber-Physical Systems: A Case Study.