A flexible formal framework for masking/demasking faults
scientific article; zbMATH DE number 2082197
scientific article