Detecting and Mitigating Faults in Byzantine Fault Tolerant Systems