Refik Samet Fault-tolerant procedures for redundant computer systems. 41-68 2009 25 Quality and Reliability Eng. Int. 1 http://dx.doi.org/10.1002/qre.949 db/journals/qre/qre25.html#Samet09