JATLite: a Java agent infrastructure with message routing | IEEE Journals & Magazine | IEEE Xplore