Council Directive 93/65/EEC of 19 July 1993 on the definition and use of compatible technical specifications for the procurement of air-traffic- management equipment and systems