@ARTICLE {2543,
author={P. Mateus and M. Cabral Morais and C. Nunes and A. Pacheco and A. Sernadas and C. Sernadas},
doi={10.1016/S0304-3975(02)00894-0},
journal={Theoretical Computer Science},
title={Categorical Foundations for Randomly Timed Automata},
year={2003},
month={January},
volume={308},
number={-},
pages={393-427},
ISSN={0304-3975}
}