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