@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}
}
