_id,doi,title
4594,10.1109/SFCS.1992.267774,Back to the future: Towards a theory of timed regular languages