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