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