Diagnosis of discrete event systems: a modular approach | IEEE Conference Publication | IEEE Xplore