Auto-generating model-based reasoners through dynamic simulation | IEEE Conference Publication | IEEE Xplore