A Methodology for the Design of Rule-Based Supervisors | Publicación