Return to Article Details Verification of Agent-Based Artifact Systems Download Download PDF