@inproceedings {429,
	title = {Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems},
	booktitle = {Proceedings of Regional Conference on Embedded and Ambient Systems},
	year = {2007},
	month = {2007},
	pages = {123 - 130},
	publisher = {Neumann J{\'a}nos Sz{\'a}m{\'\i}t{\'o}g{\'e}p-tudom{\'a}nyi T{\'a}rsas{\'a}g},
	organization = {Neumann J{\'a}nos Sz{\'a}m{\'\i}t{\'o}g{\'e}p-tudom{\'a}nyi T{\'a}rsas{\'a}g},
	address = {Budapest},
	author = {Andr{\'a}s Balogh and Andr{\'a}s Pataricza and Gy{\"o}rgy Csert{\'a}n and Bal{\'a}zs Polg{\'a}r},
	editor = {Varga K Attila and V{\'a}s{\'a}rhelyi J{\'o}zsef and Samuelis Ladislav}
}
