James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson. A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev., 25(4):285-297, 2006. [doi]
Abstract is missing.