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