Efficient Verification of Process Models Supporting Modifications of Data Values | IEEE Conference Publication | IEEE Xplore