Safety Critical Solutions DO-178B Joe Colloca Aonix.
Safety Critical and COTS Solutions
ObjectAda Raven Safety Critical Software Development Environment