Business Application Modeler: A process model Validation and Verification tool. - Sören Witt; Sven Feja; Andreas Speck; Christian Hadler (RE, 2014)

Visualization of Checking Results for Graphical Validation Rules. - Sören Witt; Sven Feja; Christian Hadler; Andreas Speck; Elke Pulvermüller (SoMeT, 2015)