Guide for the use of the Ada Ravenscar Profile in high integrity systems

Tombs and the permission by Aonix Inc. to use sections of their cross-development guide for the ObjectAda/Raven® product as the textual basis of the initial version of this report.