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] :