@inproceedings {339,
	title = {Design and Analysis of Fault Tolerant Architectures by Model Weaving},
	booktitle = {Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05)},
	year = {2005},
	month = {2005},
	pages = {15 - 24},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {http://mycite.omikk.bme.hu/doc/16348.pdf},
	author = {P{\'e}ter Domokos and Istv{\'a}n Majzik},
	editor = {Mario Dal Cin and Andrea Bondavalli and Suri, Neeraj}
}
