@inproceedings {344,
	title = {Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems},
	booktitle = {Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems},
	year = {2007},
	month = {2007},
	pages = {342 - 352},
	publisher = {Gesamtzentrum f{\"u}r Verkehr Braunschweig e.V.},
	organization = {Gesamtzentrum f{\"u}r Verkehr Braunschweig e.V.},
	url = {http://mycite.omikk.bme.hu/doc/16354.pdf},
	author = {Istv{\'a}n Majzik and P{\'e}ter Domokos and Melinda Magyar},
	editor = {Etienne Schnieder and G{\'e}za Tarnai}
}
