//-->
Framework for business process verification
Speck, Andreas, (2011)
Verification of e-commerce business processes
Feja, Sven, (2011)
Tool based integration of requirements modeling and validation into business process modeling
Feja, Sven, (2012)