PASTA Threat Modeling for Cyber Resilience and COLREG Compliance in Autonomous Ship Systems | IEEE Conference Publication | IEEE Xplore