All Electric Ships Integrated Power Systems: Dependable Design based on Fault Tree Analysis and Dynamic Modeling