S. Gonzalez <em>et al.</em>" Modeling attacker behavior in Cyber-Physical-Systems", in <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Fortaleza/CE, 2022, pp. 117–124.