Andreas Lochbihler Gregor Snelting On temporal path conditions in dependence graphs. 263-290 2009 16 Autom. Softw. Eng. 2 http://dx.doi.org/10.1007/s10515-009-0050-3 db/journals/ase/ase16.html#LochbihlerS09