Design and Conformance of Air-Traffic Control
Software Design Group
MIT
Laboratory for Computer Science
Links
Air-Traffic Control Design Workshop
Fall 2000
NASA CTAS Homepage
In Search of the Future of Air Traffic Control
IEEE Spectrum, August 1997, by Tekla S. Perry, (without pictures).