The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.