@techreport{RR-14-07,
  title = "Synthesising Optimal Timing Delays for Timed I/O Automata",
  author = "Marco Diciolla and Chang Hwan Peter Kim and Marta Kwiatkowska and Alexandru Mereacre",
  year = "2014",
  institution = "DCS",
  pages = "27",
}