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