Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information | IEEE Conference Publication | IEEE Xplore