Chun-Jung Chen, Jung-Lang Yu, Tai-Ning Yang: Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand. CASE 2006: 134-139