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