Стручков ИВ, Ицыксон ВМ. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. ИУС [Интернет]. 20апр.2006 [цитируется по 18июн.2024];(2):8-3. Available from: http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14615