¿Hay algún convertidor de fuente a fuente (traductor) de Ada (95, 2005) a C? ¿Cuán completos están (pueden convertir todas las funciones de Ada en gnu c99 + pthreads + POSIX)?

¿Es posible utilizar dicho traductor ada-to-c en aplicaciones críticas?

PS: Los traductores a C ++ (hasta 2003 con extensiones gnu) también son bienvenidos.

PPS: cuando se dice "gnu c99", significa que solo se admiten C99 + la mayoría de las extensiones de gnu, pero no significa el GCC.