@inproceedings {304,
	title = {Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms},
	booktitle = {Proceedings of The EUROMICRO{\textquoteright}04 Workshop on Component Based Software Engineering},
	year = {2004},
	month = {2004},
	pages = {136 - 143},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2004-euromicro-impact-of-statechart-implementation-techniques-on-the-effectiveness-of-fault-detection-mechanisms.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik}
}
