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