An Automated Accident Causal Scenario Identification Method for Fully Automatic Operation System Based on STPA | IEEE Journals & Magazine | IEEE Xplore