Formal Risk Assessment of Vessel Traffic at Coastal Waters. - Shenping Hu; Quangen Fang; Cunqiang Cai (NCM, 2009)