implemented automated design of detectors for multiple fault types