Back to the future: towards a theory of timed regular languages | IEEE Conference Publication | IEEE Xplore