A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems | IEEE Conference Publication | IEEE Xplore