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