6Hu Shenping, Fang Quangen, Xia Haibo. Study on Formal Safety Assessment in Ship Navigation and Modeling based on Relative Risk (A), Proceeding of the 4th International Conference on Quality and Reliability(C), 2005, Beijing:Beijing Institute of Technology Press, pp575-582.