Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment | IEEE Conference Publication | IEEE Xplore