Correctness verification of synchronization based workflow model | IEEE Conference Publication | IEEE Xplore