Application of formal safety assessment methodology on traffic risks in coastal waters & harbors | IEEE Conference Publication | IEEE Xplore