Added FSM documentation