@InProceedings{Gryce:2002:WRKUMLCP,
  author =       "Clare Gryce and Anthony Finkelstein and Christian
                  Nentwich",
  title =        "Lightweight Checking for {UML} Based Software
                  Development",
  pages =        "124--132",
  booktitle =    "Blekinge Institute of Technology, Research Report
                  2002:06. UML 2002, Model Engineering, Concepts and Tools.
                  Workshop on Consistency Problems in UML-based Software
                  Development. Workshop Materials",
  editor =       "Ludwik Kuzniarz and Gianna Reggio and Jean Louis
                  Sourrouille and Zbigniew Huzar",
  publisher =    "Department of Software Engineering and Computer Science,
                  Blekinge Institute of Technology",
  year =         "2002",
}