Andreas Lochbihler Gregor Snelting On Temporal Path Conditions in Dependence Graphs. 49-58 2007 SCAM http://dx.doi.org/10.1109/SCAM.2007.10 conf/scam/2007 db/conf/scam/scam2007.html#LochbihlerS07