Contiene la implementacion generada a partir de las especificaciones Ecu5GL