@InProceedings{Bondavalli:1999:HASE,
  author =       "A. Bondavalli and I. Majzik and I. Mura",
  title =        "Automatic Dependability Analysis for Supporting Design
                  Decisions in {UML}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}