Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
scientific article; zbMATH DE number 5915220