Federico Chesani Paola Mello Marco Montali Fabrizio Riguzzi Maurizio Sebastianis Sergio Storari Checking Compliance of Execution Traces to Business Rules. 134-145 2008 Business Process Management Workshops http://dx.doi.org/10.1007/978-3-642-00328-8_13 conf/bpm/2008w db/conf/bpm/bpmw2008.html#ChesaniMMRSS08