Takahashi, M., Y. Anang, and Y. Watanabe. “A Hazard Analysis Method for Embedded Control Software With STPA”. Trends in Computer Science and Information Technology, vol. 5, no. 1, Nov. 2020, pp. 082-96, doi:10.17352/tcsit.000029.