Jesus, Bruno, Glauber Leite, and Nuno Antunes.
" Towards a Robustness Assessment Methodology for IoT Systems." <em>Proceedings of the 2nd Workshop on Validation and Verification of Future Cyber-physical Systems,
Florianópolis, 2021</em>. SBC, 2021,  
n. pag.