A Formal Verification of the Integration of Activity and Goal-Based Workflows | IEEE Conference Publication | IEEE Xplore