Vilela, Jéssyka, Carla Silva, Jaelson Castro, Luiz Eduardo G. Martins, and Tony Gorschek. "SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language." Anais do I Brazilian Workshop on Large-scale Critical Systems, Salvador, 2019. SBC, 2019, pp.17-24.