System definition and design document for aviation services

Document defining the requirements on the pilot implementation, describing the demonstrator, the development and system infrastructure and how it is linked to the different work packages, and finally defining the scenarios of the verification exercises.