Alwi, Saifulza, and Nurrafidah Jaafar. 2018. “Dependability Analysis of Logic Controller Based On Formal Verification Procedures”. Journal of Telecommunication, Electronic and Computer Engineering (JTEC) 10 (1-3):153-58. https://jtec.utem.edu.my/jtec/article/view/3503.