@inproceedings {324, title = {Automatic Dependability Analysis for Supporting Design Decisions in UML}, booktitle = {Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE{\textquoteright}99)}, year = {1999}, month = {1999}, pages = {64 - 71}, address = {Washington}, author = {Andrea Bondavalli and Istv{\'a}n Majzik and Ivan Mura} }