СТРУЧКОВ, И. В.; ИЦЫКСОН, В. М. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы, n. 2, p. 8-13, 20 abr. 2006.