Dynamic Modeling and Reliable Operation of All-Electric Ships with Small Modular Reactors and Battery Energy Systems | IEEE Conference Publication | IEEE Xplore