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