Text this: Conformance verification of finite state machines based on machine inference and model checking