K. Myrzabek и A. Khassen, «PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS», IJICT, т. 6, вып. 3, сс. 238–253, сен. 2025.