— In Air Traffic Management (ATM) systems, catastrophic events are often caused by errors made by agents operating in the procedures. Detecting safety critical situations that may arise in the evolution of ATM systems is of primary importance in the analysis of their behavior. The inherent complexity of ATM systems, typically involving a large number of… (More)