Automated verification of AUML based multi-agent system design | IEEE Conference Publication | IEEE Xplore