[dschn]

Some (if not most) of the on-board shuttle programs are written in HAL/S.

http://history.nasa.gov/computers/Appendix-II.html

http://en.wikipedia.org/wiki/HAL/S