@InProceedings{FHL10, author = {D. Figueira and P. Hofman and S. Lasota}, title = {Relating timed and register automata}, booktitle = {Proc. EXPRESS'10}, year = 2010, pages = {61-75}, series = {EPTCS}, volume = {41} }