Log-Based Understanding of Business Processes through Temporal Logic Query Checking. - Margus Räim; Claudio Di Ciccio; Fabrizio Maria Maggi; Massimo Mecella; Jan Mendling (OTM Conferences, 2014)