Michael Westergaard, Tijs Slaats: CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. BPM (Demos) 2013