Reliability Verification of Fault-Tolerant Systems Design based on Mutation Analysis. - Fabian Vargas 001; Eduardo Bezerra 001; A. Terroso; Daniel Barros Jr. (SBCCI, 1998)