L. B. Strader, M. K. Aune, J. A. Rodgers, M. A. Beims. Space Shuttle Onboard Software (OBS) Development and Maintenance Process Automation. In Wilhelm Schäfer, editor, Software Process Technology, 4th European Workshop, EWSPT 95, Noordwijkerhout, The Netherlands, April 3-5, 1995, Proceedings. Volume 913 of Lecture Notes in Computer Science, pages 55-59, Springer, 1995.