@misc{misca44c7f46,
title   = {Hot standby redundancy allocation for a k-out-on=n:F system under a point process transform},
author = {Bueno, Vanderlei da Costa},
year = {2005},
publisher = {IME-USP}
}