Runtime enforcement of security policies on black box reactive programs
scientific article; zbMATH DE number 6631289