Ada 95 and Critical Systems: An Analytical Approach. - Dan Craigen; Mark Saaltink; Steve Michell (Ada-Europe, 1996)

Guidance on the Use of Ada95 in High Integrity Systems. - Steve Michell; Mark Saaltink (Ada-Europe, 1998)