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