A method of fault tree generation based on go model | IEEE Conference Publication | IEEE Xplore