Myrzabek, Kamila, и Akbota Khassen. «PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS». МЕЖДУНАРОДНЫЙ ЖУРНАЛ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ, т. 6, вып. 3, сентябрь 2025 г., сс. 238-53, doi:10.54309/IJICT.2025.23.3.014.