I know Ada 95 has a Safety Annex, but has anyone actually used
it to implement a real (or even example) system?

Are there any specific reports or papers on the Safety features
of Ada 95 (other than RM95 or the Rationale)?

Inquiring minds want to know!

-- 
--------------------------------------------------------------
-                 John J. Cupak Jr, CCP                      -
- Raytheon Systems Company - Software Engineering Laboratory -
- tel: 978-858-1222   email (work): jcj@swl.msd.ray.com      -
- fax: 978-858-4336   email (home): jcupak@aol.com           -
--------------------------------------------------------------