Software safety requirement analysis and verification method based on system theoretic process analysis
QIN Nan, MA Liang, HUANG Rui
Journal of Computer Applications . 2020, (11): 3261 -3266 .  DOI: 10.11772/j.issn.1001-9081.2020040548