Molnár V, Majzik I. Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Period. Polytech. Elec. Eng. Comp. Sci. [Internet]. 2017 Jan. 1 [cited 2024 Apr. 26];61(2):132-50. Available from: https://pp.bme.hu/eecs/article/view/9755