DOI,IST REx ID,Title of publication
10.1109/SFCS.1992.267774,4594,Back to the future: Towards a theory of timed regular languages