On bidirectional runtime enforcement
scientific article; zbMATH DE number 7493469