Jesus, Bruno, Leite, Glauber, E Antunes, Nuno. " Towards a Robustness Assessment Methodology for IoT Systems" Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS) [Online], (22 novembro 2021)