@inproceedings {362, title = {Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach}, booktitle = {Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009)}, year = {2009}, month = {2009}, pages = {95 - 96}, url = {http://mycite.omikk.bme.hu/doc/81031.pdf}, author = {Melinda Magyar and Istv{\'a}n Majzik} }