DOI,IST REx ID,Title of publication
10.1023/A:1023217515688,3593,A branching time temporal framework for quantitative reasoning