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