Towards a new dynamic model-based testing approach for multi-agent systems | IEEE Conference Publication | IEEE Xplore