@InCollection{Gogolla:2004:FMEDS,
  author =       "Martin Gogolla and Paul Ziemann",
  title =        "Checking {BART} Test Scenarios with {UML}'s Object
                  Constraint Language",
  booktitle =    "Formal Methods for Embedded Distributed Systems: How To
                  Master The Complexity",
  publisher =    "Kluwer Academic Publishers",
  year =         "2004",
  editor =       "Fabrice Kordon and Michel Lemoine",
  chapter =      "5",
  pages =        "133--170",
  isbn =         "1402079966",
}