The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL | IEEE Conference Publication | IEEE Xplore