Formalization and co-simulation of attacks on cyber-physical systems

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri. Formalization and co-simulation of attacks on cyber-physical systems. Journal in Computer Virology, 16(1):63-77, 2020. [doi]