Википедия
Switch-технология
Switch-технология — технология разработки систем логического управления на базе конечных автоматов , охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году.