Decomposition-based Verification of Global Compliance in Process Choreographies | IEEE Conference Publication | IEEE Xplore