Gap analysis of existing modelling methodologies for the ATM domain and requirements elicitation

Summary
Strengths and weaknesses of modelling approaches currently used in the ATM industry, and what would be required of a new/evolved language.