documentation for exp.FSM