Daniel Jackson John Chapin Redesigning Air Traffic Control: An Exercise in Software Design. 2000 17 IEEE Software 3 http://doi.ieeecomputersociety.org/10.1109/52.896251 db/journals/software/software17.html#JacksonC00 63-70