Mani, Garousi, Far, 2008. A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems, in: . IEEE.. https://doi.org/10.1109/ictai.2008.114