@misc{misc72554f74, title = {A constructive example for active redundancy allocation in a k-out-of-n:F system under dependence conditions}, author = {Bueno, Vanderlei da Costa and Carmo, Iran Martins do}, year = {2005}, publisher = {IME-USP} }