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