ЗЕЛЕНСКИЙ, А. А.; ГРИБКОВ, А. А. Основы формальной теории систем реального времени. Информационно-управляющие системы, n. 5, p. 2-10, 28 out. 2025.