Supervisory control of discrete event systems with distinguishers
scientific article; zbMATH DE number 6505044
scientific article