@inproceedings{dierks-etal:formats2007,
  author =	 {Henning Dierks and Sebastian Kupferschmid and Kim G. Larsen},
  title =	 {Automatic Abstraction Refinement for Timed Automata},
  pages =        {114--129},
  crossref =	 {formats2007},
}

@proceedings{formats2007,
  editor    = {Jean-Fran\c{c}ois Raskin and P. S. Thiagarajan},
  title     = {Formal Modeling and Analysis of Timed Systems, 5th
                  International Conference, FORMATS 2007, Salzburg,
                  Austria, October 3-5, 2007, Proceedings},
  booktitle = {Proceedings of the 5th International Conference on
                  Formal Modelling and Analysis of Timed Systems
                  (FORMATS 2007)},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  volume    = 4763,
  year      = 2007,
}