Samuel Gonzalez <em>et al. </em>2022.
 Modeling attacker behavior in Cyber-Physical-Systems. In <em>Proceedings of the 3rd Workshop on Validation and Verification of Future Cyber-physical Systems</em>, November 21, 2022, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 117–124.