Veiga, Ernesto, Taciana Novo Kudo, and Renato de Freitas Bulcão-Neto.
" SafeSecRETS: A Safety and Security Requirements Tool for Critical IoT Systems." <em>Anais do XXXIX Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 2025</em>. SBC, 2025,  
pp.865-871.