Myrzabek, Kamila, и Akbota Khassen. «PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS». МЕЖДУНАРОДНЫЙ ЖУРНАЛ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ 6, no. 3 (сентябрь 15, 2025): 238–253. просмотрено январь 23, 2026. https://journal.iitu.edu.kz/index.php/ijict/article/view/590.