Safe Ada

A subset of Ada for writing safety-critical software.

"Safe Ada - Language Study", Systeam AG (Aug 1987).