A measure of guaranteed availability and its numerical evaluation | IEEE Journals & Magazine | IEEE Xplore