Verification of relational data-centric dynamic systems with external services