An analysis of the fault correction process in a large-scale SDL production model | IEEE Conference Publication | IEEE Xplore