Synthesis of discrete-event controllers based on the signal environment
scientific article; zbMATH DE number 1553146