Time-parallel simulation with approximative state matching | IEEE Conference Publication | IEEE Xplore