Closed-Form Solution for System Availability Distribution | IEEE Journals & Magazine | IEEE Xplore