DOI,IST REx ID,Title of publication
10.1109/LICS.1990.113764,4597,Real-time logics: Complexity and expressiveness