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