Molnár, V. and Majzik, I. 2017. Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Periodica Polytechnica Electrical Engineering and Computer Science. 61, 2 (Jan. 2017), 132–150. https://doi.org/10.3311/PPee.9755.