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