CTR: A Calculus of Timed Refinement

@inproceedings{Cerans1995CTRAC,
  title={CTR: A Calculus of Timed Refinement},
  author={Karlis Cerans},
  booktitle={CONCUR},
  year={1995}
}