Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени - Стручков, Игорь Вячеславович; Ицыксон, Владимир Михайлович (Информационно-управляющие системы, 2006)