@InCollection{Liu:2001:inSADDI,
  author =       "Jing Liu and Jin Song Dong and Kun Shi and Brendan
                  Mahony",
  title =        "Linking {UML} with Integrated Formal Techniques",
  booktitle =    "Unified Modeling Language: Systems Analysis, Design and
                  Development Issues",
  publisher =    "Idea Publishing Group",
  year =         "2001",
  editor =       "Keng Siau and Terry Halpin",
  chapter =      "13",
  pages =        "210--223",
  isbn =         "i-930708-05-X",
}