Transforming Existing Procedural Business Processes into a Constraint-Based Formalism. - Floor Vermeer; Martijn Zoet; Jeroen van Grondelle; Slinger Jansen; Eline de Haan (ACIS, 2013)