Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information