@article {molnar_majzik_perpol17,
	title = {Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms},
	journal = {Periodica Polytechnica Electrical Engineering and Computer Science},
	volume = {61},
	number = {2},
	year = {2017},
	pages = {132-150},
	doi = {https://doi.org/10.3311/PPee.9755},
	url = {https://pp.bme.hu/eecs/article/view/9755},
	author = {Vince Moln{\'a}r and Istv{\'a}n Majzik}
}
