Dynamic modeling of ATM systems