Chun-Jung Chen Jung-Lang Yu Tai-Ning Yang Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand. 134-139 2006 CASE http://dx.doi.org/10.1109/COASE.2006.326868 conf/case/2006 db/conf/case/case2006.html#ChenYY06