A long yet extremely interesting article on the process in which the software used to control NASA's space shuttles is designed and written: http://www.fastcompany.com/magazine/06/writestuff.html