An Abstraction Technique for the Verification of Artifact-Centric Systems - Belardinelli,F; Lomuscio,A; Patrizi,F (AAAI Press, 2012)