Add FSM name attribute