Ejemplares similares: Implementación formal de sistemas de control lógico para procesos industriales /