Vilela, J., 		Silva, C., 		Castro, J., 		G. Martins, L., & 		Gorschek, T.
2019 set 13.  SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language. Anais do Brazilian Workshop on Large-scale Critical Systems (BWare). [Online] :