Dependable design of All Electric Ships Integrated Power System: Guidelines for system decomposition and analysis