S.-M. Chang, P.-C. Chiu, and P.-L. Chou, “Navigation safety and risk management verification mechanism for Maritime Autonomous Surface Ship”, JCAS, vol. 5, no. 2, pp. 56–66, Jun. 2025.