Time-Parallel Simulation with Approximative State Matching. - Tobias Kiesling; Siegfried Pohl (PADS, 2004)