FSMSpecHelpers Methods