@inproceedings {326,
	title = {Concurrent Error Detection of Program Execution Based on  Statechart Specification},
	booktitle = {Proc. 10th European Workshop on Dependable Computing (EWDC-10)},
	year = {1999},
	month = {1999},
	pages = {181 - 185},
	publisher = {{\"O}sterreichische Computer Gesellschaft},
	organization = {{\"O}sterreichische Computer Gesellschaft},
	url = {http://mycite.omikk.bme.hu/doc/16329.pdf},
	author = {Istv{\'a}n Majzik and Judit J{\'a}vorszky and Andr{\'a}s Pataricza and Endre Sel{\'e}nyi}
}
