Process SEER: A Tool for Semantic Effect Annotation of Business Process Models | IEEE Conference Publication | IEEE Xplore