Quantitatively nonblocking supervisory control of discrete-event systems
scientific article; zbMATH DE number 7938487