All-Electric Ship-Integrated Power Systems: Dependable Design Based on Fault Tree Analysis and Dynamic Modeling | IEEE Journals & Magazine | IEEE Xplore