A branch-and-bound approach to the optimization of redundant software under failure correlation
scientific article; zbMATH DE number 6148477