Vilela, J., Silva, C., Castro, J., G. Martins, L., & Gorschek, T. (2019). SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language. In Anais do I Brazilian Workshop on Large-scale Critical Systems, (pp. 17-24). Porto Alegre: SBC. doi:10.5753/bware.2019.7504