@InProceedings{Georg:2001:WRKUML,
  author =       "Geri Georg and James Bieman and Robert B. France",
  title =        "Using Alloy and {UML}/{OCL} to Specify Run-Time
                  Configuration Management: A Case Study",
  pages =        "128--141",
  booktitle =    "Practical {UML}-Based Rigorous Development Methods -
                  Countering or Integrating the e{X}tremists. Workshop of
                  the {pUML}-Group held together with the UML 2001 October
                  1st, 2001 in Toronto, Canada",
  editor =       "Andy Evans and Robert France and Ana Moreira and Bernhard
                  Rumpe",
  publisher =    "German Informatics Society",
  series =       "LNI",
  volume =       "P-7",
  year =         "2001",
}