@inproceedings{krichen2019testing,
  title={Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains},
  author={Krichen, Moez},
  booktitle={International Colloquium on Theoretical Aspects of Computing},
  pages={124--133},
  year={2019},
  organization={Springer, Cham}
}