Model based Testing for Agent Systems (Extended Abstract)