ABSTRACT
Administration (TSA). The static and dynamic semi-formal modeling approaches proposed in this paper enable the assessment of future, alternative ACP designs, taking into account common performance indicators and deviations from current regulations. The goal behind the research is also to understand and develop future ACP concepts with the help of the presented modeling techniques and in a second step with executable models to assess the performance of these concepts.
