Sven Feja, Andreas Speck, Sören Witt, Marcel Schulz: Checkable Graphical Business Process Representation. ADBIS 2010: 176-189