<> <> <> <<>> Run FSMTool