A Logic-Based Approach to Model Supervisory Control Systems

Authors

Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira,