Muralidhar Sitaram George W. Ernst John Marcuse Knowledge based system to diagnose faults in discrete event systems. 171-177 1989 IEA/AIE (1) http://doi.acm.org/10.1145/66617.66639 db/conf/ieaaie/ieaaie1989-1.html#SitaramEM89