Real-time risk assessment of autonomous ships based on STPA and FTPN | IEEE Conference Publication | IEEE Xplore