Black Start of Coastline Power Networks From Grid-Forming Ship-to-Grid Services | IEEE Journals & Magazine | IEEE Xplore