Should we simulate mental models to assess whether they agree? - Eric A. Lavin; Philippe J. Giabbanelli; Andrew T. Stefanik; Steven A. Gray 001; Robert Arlinghaus (SpringSim (ANSS), 2018)