Gonzalez, Samuel, Osorio, Juan, González, Germán, Cuellar, Daniel, Gomez, Camilo, Mariotti, Francesco, Montecchi, Leonardo, AND Lollini, Paolo. " Modeling attacker behavior in Cyber-Physical-Systems" Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS) [Online], (21 November 2022)