A Composition-Oriented Approach for Business Process Formal Design | IEEE Conference Publication | IEEE Xplore