On reliability modeling of closed fault-tolerant computer systems | IEEE Journals & Magazine | IEEE Xplore