#231 Bueno, yo te puedo decir que parte del sistema de control de tráfico aéreo está hecho en Ada. Pero el sistema más crítico, el de comunicaciones, está totalmente hecho en C. Y yo sí estoy seguro porque estoy en el equipo de desarrollo de estos sistemas :P.