A unified framework for the performability evaluation of fault-tolerant computer systems | IEEE Journals & Magazine | IEEE Xplore