DOI,IST REx ID,Title of publication
10.1006/inco.1993.1025,4589,Real-time logics: Complexity and expressiveness