The project is composed of seven work packages. Work packages 2, 3 and 4 develops technical extensions with respect to the state-of-the-art concerning language, algorithms and tools, and methodology respectively. The work is driven by use cases and requirements, developed in Work package 1 at the beginning of the project, encompassing issues covered by the technical work packages. This ensures that the work conducted in the WPs is well harmonised and suitable for practical use. Work package 5 validates the result of the main work packages by the means of validators based on the use cases defined in Work package 1 and validating Work package 1 requirements. The validation result will be fed back to the respective main work package for evaluation and appropriate measures. In general, the project is divided into two phases. The first phase covers use case and requirement definition and first drafts of technical solutions. After an alignment procedure, theses solutions are validated and refined in the second phase. Phase 2 will start with a reconsideration and refinement of the requirements and use cases in Work package 1 with input from Work packages 2, 3, and 4.