A tool for monitoring and tracing multi-agent applications | IEEE Conference Publication | IEEE Xplore