@inbook{33829,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{Best of FDL'03}},
  editor       = {{Grimm, Ch.}},
  isbn         = {{978-1-4020-7991-7}},
  pages        = {{301--314}},
  publisher    = {{Kluwer}},
  title        = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}},
  year         = {{2004}},
}