Molnár, Vince, and István Majzik. 2017. “Model Checking-Based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms”. Periodica Polytechnica Electrical Engineering and Computer Science 61 (2):132-50. https://doi.org/10.3311/PPee.9755.