Veiga, E., Kudo, T., & Bulcão-Neto, R. (2025). SafeSecRETS: A Safety and Security Requirements Tool for Critical IoT Systems. In Anais do XXXIX Simpósio Brasileiro de Engenharia de Software, (pp. 865-871). Porto Alegre: SBC. doi:10.5753/sbes.2025.10843