An approach and a tool for verification of service-based inter-organizational workflows | IEEE Conference Publication | IEEE Xplore