ALWI, S.; JAAFAR, N. Dependability Analysis of Logic Controller Based On Formal Verification Procedures. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), [S. l.], v. 10, n. 1-3, p. 153–158, 2018. Disponível em: https://jtec.utem.edu.my/jtec/article/view/3503. Acesso em: 7 may. 2024.