Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems