Towards a Formal Verification Approach for Business Process Coordination | IEEE Conference Publication | IEEE Xplore