Performability Modeling for RAID Storage Systems by Markov Regenerative Process | IEEE Journals & Magazine | IEEE Xplore