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