Jesus, Bruno, Glauber Leite, and Nuno Antunes.
" Towards a Robustness Assessment Methodology for IoT Systems." <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems,
Florianópolis, 2021</em>. SBC, 2021,  
sem paginação.