_id,doi,title
3593,10.1023/A:1023217515688,A branching time temporal framework for quantitative reasoning