М. Г. Фуругян ,   Б. Г. Сушков ,   С. Н. Мирошник ,   О. Л. Кондратьев ,   Д. Р. Гончар ,   А. В. Сухих ,   И. Л. Луганский Тез докл. III науч. школы "Автоматизация создания математического обеспечения и архитектуры систем реального времени", Саратов, Саратовский ф-л Ин-та Машиноведения РАН , 09.1992 , с. 3-4, язык: русский