Supervisory control of hybrid systems within a behavioural framework
scientific article; zbMATH DE number 1454264