model-fsm-6130