DOI,IST REx ID,Title of publication
10.1145/167088.167242,4619,Parametric real-time reasoning