Стручков, И. В., и В. М. Ицыксон. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы, вып. 2, Apr. 2006, сс. 8-13, https://i-us.ru/index.php/ius/article/view/14615.