An abstraction technique for the verification of artifact-centric systems