Safety Analysis of Automatic Crane Trolley Running System Based on STAMP/STPA | IEEE Conference Publication | IEEE Xplore