From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods