@inproceedings {352,
	title = {Formal Methods in the Evaluation of a Safe Driver Machine Interface},
	booktitle = {Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008)},
	year = {2008},
	month = {2008},
	pages = {313 - 320},
	publisher = {L{\textquoteright}Harmattan Kiad{\'o}},
	organization = {L{\textquoteright}Harmattan Kiad{\'o}},
	address = {Budapest},
	url = {http://mycite.omikk.bme.hu/doc/39776.pdf},
	author = {Istv{\'a}n Majzik and Andrea Bondavalli and S Klapka and T K Madsen and D Iovino},
	editor = {G{\'e}za Tarnai and Etienne Schnieder}
}
