Agent-based modelling and simulation of ATM Safety