Weakly sentinels for the distributed system with pollution terms in the boundary
scientific article; zbMATH DE number 6080859