Alwi, S. and Jaafar, N. (2018) “Dependability Analysis of Logic Controller Based On Formal Verification Procedures”, Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 10(1-3), pp. 153–158. Available at: https://jtec.utem.edu.my/jtec/article/view/3503 (Accessed: 7May2024).