@InProceedings{ peter-mattmueller-rtss2009,
  author    = "Hans-J{\"o}rg Peter and Robert Mattm{\"u}ller.",
  title     = "Component-based Abstraction Refinement for Timed Controller Synthesis",
  booktitle = "Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009)",
  year      = "2009",
  pages     = "364--374",
  publisher = "IEEE Computer Society"
}