Gregory M. Provan: A Novel Framework for Integrating Discrete Event System Control and Diagnosis. IJCAI 2003: 1341-1342