@Article{CK05,
author={S. Cattani and M. Kwiatkowska},
title={A Refinement-based Process Algebra for Timed Automata},
journal={Formal Aspects of Computing},
year={2005},

volume={17},
number={2},
pages={138-159},
publisher={Springer},
month={},
note={},
key={}
}