SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем