Bruno Jesus, Glauber Leite, and Nuno Antunes. 2021.
 Towards a Robustness Assessment Methodology for IoT Systems. In <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>, novembro 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.