Air traffic control trainer software development: multi-agent architecture and Java prototype | IEEE Conference Publication | IEEE Xplore