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