Semantics for Rollback-Based Continuous/Discrete Simulation | IEEE Conference Publication | IEEE Xplore