MOLNÁR, Vince; MAJZIK, István. Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Periodica Polytechnica Electrical Engineering and Computer Science, [S. l.], v. 61, n. 2, p. 132–150, 2017. 10.3311/PPee.9755. Disponível em: https://pp.bme.hu/eecs/article/view/9755. Acesso em: 25 apr. 2024.