The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. - Raghava Rao Mukkamala; Thomas T. Hildebrandt; Janus Boris Tøth (EDOCW, 2008)