Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. - Germán Regis; Fernando Villar; Nicolás Ricci (LAFM, 2013)