Beyond Soundness: On the Semantic Consistency of Executable Process Models | IEEE Conference Publication | IEEE Xplore