B. Jesus, G. Leite, and N. Antunes.
" Towards a Robustness Assessment Methodology for IoT Systems", in <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Florianópolis, 2021.