Molnár, V., Majzik, I. “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, 2017. https://doi.org/10.3311/PPee.9755