James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson. Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 490-497, IEEE Computer Society, 2005. [doi]