Added FiniteStateMachineTest