sobre - ¿Cómo es Ada un lenguaje ''crítico para la seguridad''?