Modelling methodology for analysis of shipboard power systems with multiple superconducting devices | IEEE Conference Publication | IEEE Xplore