Gonzalez, Samuel, Juan Betancourt Osorio, Germán Pardo González, Daniel Cuellar, Camilo Gomez, Francesco Mariotti, Leonardo Montecchi, and Paolo Lollini.
" Modeling attacker behavior in Cyber-Physical-Systems." <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems,
Fortaleza/CE, 2022</em>. SBC, 2022,  
pp.117–124.