Verification of deployed artifact systems via data abstraction - Belardinelli,F; Lomuscio,A; Patrizi,F (Springer, 2011)