CAPRES: a software tool for modeling and analysis of fault-tolerant computer architectures | IEEE Conference Publication | IEEE Xplore