@InProceedings{Lano:2002:WRKUMLCP,
  author =       "Kevin Lano and D. Clark and K. Androutsopoulos",
  title =        "Formalising Inter-model Consistency of the {UML}",
  pages =        "133--148",
  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",
}