Rule-Based Business Policies Specification, Reasoning and Integration for Business Process Model Extraction | IEEE Conference Publication | IEEE Xplore