5.7 
Разра
подзе
Важным эт
понимание поведени
основные факторы 
наблюдаемое поведе
поведения системы 
для действующих си
Правильност
Следовательно, люба
системы, она должна