Semantically Enhanced System and Automation Design of Complex Marine Vessels | IEEE Conference Publication | IEEE Xplore