Зеленский, Александр Александрович, и Андрей Армович Грибков. 2025. Основы формальной теории систем реального времени. Информационно-управляющие системы, вып. 5 (октябрь), 2-10. https://doi.org/10.31799/1684-8853-2025-5-2-10.