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 (Jan. 2018), 153–158.