An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model