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