code: @Nullable
      @Override
      public DFA<?, I> findCounterExample(DFA<?, I> automaton, Collection<? extends I> inputs, String property)
              throws ModelCheckingException {
          final File fsm = findCounterExampleFSM(automaton, inputs, property);
  
          try {
              final CompactDFA<I> result;
              if (fsm != null) {
                  result = FSM2DFAParser.getParser(inputs, getString2Input(), LABEL_NAME, LABEL_VALUE).readModel(fsm);
  
                  // check if we must keep the FSM
                  if (!isKeepFiles() && !fsm.delete()) {
                      throw new ModelCheckingException("Could not delete file: " + fsm.getAbsolutePath());
                  }
  
                  for (Integer state : result.getStates()) {
                      final boolean deadlocks = result.getInputAlphabet().stream().noneMatch(
                              i -> result.getSuccessor(state, i) != null);
                      result.setAccepting(state, deadlocks);
                  }
              } else {
                  result = null;
              }
  
              return result;
          } catch (IOException | FSMParseException e) {
              throw new ModelCheckingException(e);
          }
      }
docs: Converts the FSM file to a {@link DFA}.
  
  @see AbstractLTSmin#findCounterExample(Object, Collection, Object)