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