Alwi, S., & Jaafar, N. (2018). Dependability Analysis of Logic Controller Based On Formal Verification Procedures. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 10(1-3), 153–158. Retrieved from https://jtec.utem.edu.my/jtec/article/view/3503