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), pp. 132–150. 10.3311/PPee.9755.