Myrzabek, K.; Khassen, A. PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS. IJICT 2025, 6, 238-253.