Configurable process models: A semantic validation | IEEE Conference Publication | IEEE Xplore