@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} }