Alwi S, Jaafar N. Dependability Analysis of Logic Controller Based On Formal Verification Procedures. JTEC [Internet]. 2018Jan.22 [cited 2024Nov.21];10(1-3):153-8. Available from: https://jtec.utem.edu.my/jtec/article/view/3503