Dependable design of All Electric Ships Integrated Power System: Guidelines for system decomposition and analysis | IEEE Conference Publication | IEEE Xplore