@article{BertrandSJK15,
  author    = {Nathalie Bertrand and
               Am{\'{e}}lie Stainer and
               Thierry J{\'{e}}ron and
               Moez Krichen},
  title     = {A game approach to determinize timed automata},
  journal   = {Formal Methods in System Design},
  volume    = {46},
  number    = {1},
  pages     = {42--80},
  year      = {2015},
  doi       = {10.1007/s10703-014-0220-1}
}