V. Molnár and I. Majzik, “Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms”, Period. Polytech. Elec. Eng. Comp. Sci., vol. 61, no. 2, pp. 132–150, Jan. 2017.