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