Quantifying Consistency between Conceptual and Executable Business Processes | IEEE Conference Publication | IEEE Xplore