Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado* | Publicación