Implementación formal de sistemas de control lógico para procesos industriales - Chavoya Peña, Arturo (2003)