On the instantaneous availability and performability evaluation of fault-tolerant computer systems | IEEE Conference Publication | IEEE Xplore