Зеленский, Александр Александрович, и Андрей Армович Грибков. Основы формальной теории систем реального времени. Информационно-управляющие системы, no. 5 (октябрь 28, 2025): 2-10. просмотрено январь 30, 2026. https://www.i-us.ru/index.php/ius/article/view/16404.