@InProceedings{Marcano:2002:WRKUMLCSD,
  author =       "R. Marcano and N. Levy",
  title =        "Transformation rules of {OCL} Constraints into {B} Formal
                  Expressions",
  pages =        "155--162",
  booktitle =    "Critical Systems Development with UML -- Proceedings of
                  the UML'02 workshop",
  editor =       "Jan J{\"u}rjens and Mar{\'\i}a Victoria Cengarle and
                  Eduardo B. Fernandez and Bernhard Rumpe and Robert
                  Sandner",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, Institut f{\"u}r
                  Informatik",
  year =         "2002",
}