Supervisory control of discrete event systems
scientific article; zbMATH DE number 927166
scientific article