Анализ производительности распределенных микропроцессорных систем на основе инварианта поведения программСмелянский, Руслан Леонидович199132 с.