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