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." Proceedings of the 1st Brazilian Workshop on Large-scale Critical Systems, Salvador, 2019. SBC, 2019, pp.17-24.