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