Gonzalez, S., 		Osorio, J., 		González, G., 		Cuellar, D., 		Gomez, C., 		Mariotti, F., 		Montecchi, L., & 		Lollini, P.
2022 nov 21.  Modeling attacker behavior in Cyber-Physical-Systems. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :