Veiga, E., Kudo, T., & Bulcão-Neto, R. 2025 set 22. SafeSecRETS: A Safety and Security Requirements Tool for Critical IoT Systems. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :