Abstract: For the development of safety-critical systems, it is claimed that system-theoretic process analysis (STPA) identifies more software loss scenarios and component interaction loss scenarios ...