Gonzalez, Samuel, 		Osorio, Juan, 		González, Germán, 		Cuellar, Daniel, 		Gomez, Camilo, 		Mariotti, Francesco, 		Montecchi, Leonardo, E 		Lollini, Paolo.
" Modeling attacker behavior in Cyber-Physical-Systems" <em>Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS)</em> [Online], (21 novembro 2022)