Myrzabek, K. и Khassen, A. 2025. PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS. МЕЖДУНАРОДНЫЙ ЖУРНАЛ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ. 6, 3 (сен. 2025), 238–253. DOI:https://doi.org/10.54309/IJICT.2025.23.3.014.