Verification of GSM-based Artifact-centric Systems by Predicate Abstraction - Lomuscio, AR; griesmayer, A; gonzalez (Springer, 2015)