@misc{misc41378f1e, title = {Active redundancy allocation for a k-out-of-N:F system of dependent components}, author = {Bueno, Vanderlei da Costa and Carmo, Iran Martins do}, year = {2004}, publisher = {IME-USP} }