Alwi, S.; Jaafar, N. Dependability Analysis of Logic Controller Based On Formal Verification Procedures. JTEC 2018, 10, 153-158.