Verification of initial-state opacity in security applications of discrete event systems
scientific article; zbMATH DE number 6484774