Maintenance Decision Models for Java–Bali 150-kV Power Transmission Submarine Cable Using RAMS | IEEE Journals & Magazine | IEEE Xplore