FSMSimulator