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