Ahmed Awad Gero Decker Mathias Weske Efficient Compliance Checking Using BPMN-Q and Temporal Logic. 326-341 2008 BPM http://dx.doi.org/10.1007/978-3-540-85758-7_24 conf/bpm/2008 db/conf/bpm/bpm2008.html#AwadDW08