Framework for Business Process Verification. - Andreas Speck; Sören Witt; Sven Feja; Aneta Lotyzc; Elke Pulvermüller (BIS, 2011)