@inproceedings {323,
	title = {Automated Dependability Analysis of UML Designs},
	booktitle = {Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC{\textquoteright}99)},
	year = {1999},
	month = {1999},
	pages = {139 - 144},
	author = {Andrea Bondavalli and Istv{\'a}n Majzik and Ivan Mura}
}
