Зеленский, А. А.; Грибков, А. А. Основы формальной теории систем реального времени. ИУС 2025, 2-10.