sqlite is probably our best example. The project touts use within Airbus A350 and DO-178B certification.