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