Availability formulations for segment protection | IEEE Journals & Magazine | IEEE Xplore