Text this: An Approach to Model Based Testing of Multiagent Systems