Анализ производительности распределенных микропроцессорных вычислительных систем на основе инварианта поведения программстатья