Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement | IEEE Conference Publication | IEEE Xplore