J. Vilela, C. Silva, J. Castro, L. G. Martins, and T. Gorschek. "SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language", in Anais do I Brazilian Workshop on Large-scale Critical Systems, Salvador, 2019, pp. 17-24, doi: https://doi.org/10.5753/bware.2019.7504.