Executability Analysis for Semantically Annotated Process Model | IEEE Conference Publication | IEEE Xplore