@inbook{33830,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{155--168}},
  publisher    = {{Kluwer}},
  title        = {{{Refinement of Finite State Machines with Complementary Model Checking}}},
  year         = {{2004}},
}

@inbook{33832,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{227--240}},
  publisher    = {{Kluwer}},
  title        = {{{The Echo Cancellation Unit Case Study}}},
  year         = {{2004}},
}