Основы формальной теории систем реального времени - Зеленский, Александр Александрович; Грибков, Андрей Армович (Информационно-управляющие системы, 2025)