Safety assessment of LNG carriers based on fault tree analysis | IEEE Conference Publication | IEEE Xplore