Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
scientific article; zbMATH DE number 7453500