fsm analyzer
fsm generator