Gonzalez, S., 		Osorio, J., 		González, G., 		Cuellar, D., 		Gomez, C., 		Mariotti, F., 		Montecchi, L., & 		Lollini, P.
(2022).
 Modeling attacker behavior in Cyber-Physical-Systems.
In <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems</em>, (pp. 117–124). Porto Alegre: SBC.