Serge Abiteboul Zoë Abrams Stefan Haar Tova Milo Diagnosis of asynchronous discrete event systems: datalog to the rescue! 358-367 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065214 db/conf/pods/pods2005.html#AbiteboulAHM05