Search results for state machine model checking