Have we really been analyzing terminating simulations incorrectly all these years? | IEEE Conference Publication | IEEE Xplore