M. Takahashi, Y. Anang, and Y. Watanabe, “A Hazard Analysis Method for Embedded Control Software with STPA”, Trends Comput Sci Inf Technol, vol. 5, no. 1, pp. 082–096, Nov. 2020.