@misc{misccb2eedbf,
title   = {Hot standbay redundancy allocation in a K-OUT-OF-N:F systems of dependent components},
author = {Bueno, Vanderlei da Costa},
year = {2005},
publisher = {IME-USP}
}