DOI,IST REx ID,Title of publication
10.1007/BFb0055640,4515,It's about time: Real-time logics reviewed