Ribeiro, M., Castro, J., & Argenton, R. 2024 set 30. Integrating STPA with Safety Requirements Modeling. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :