Modeling complex air traffic management systems
Prometheus: a methodology for developing intelligent agents