S. Alwi and N. Jaafar, “Dependability Analysis of Logic Controller Based On Formal Verification Procedures”, JTEC, vol. 10, no. 1-3, pp. 153–158, Jan. 2018.