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