Daniel Jackson John Chapin Redesigning Air Traffic Control: An Exercise in Software Design. 2000 17 IEEE Software 3 http://www.computer.org:80/software/so2000/pdf/s3063.pdf db/journals/software/software17.html#JacksonC00