Bengt-Arne Molin Sven Mattisson Concurrent Switch-Level Timing Simulation Based on Waveform Relaxation. 415-418 1994 ISCAS db/conf/iscas/iscas1994-1.html#MolinM94