Mendoza Morales, L.E. 2016. Automatic Verification of Critical Industrial Process with Automata. Rev. Téc. Fac. Ing. Univ. Zulia. 39, 3 (dic. 2016).