Desarrollo de software embebido en ADA para sistemas de defensa electrónica. Diseño, implementación y verificación de software.