Reliability simulation of fault-tolerant software and systems | IEEE Conference Publication | IEEE Xplore