@misc{misc5afc33eb, title = {Active redundancy for a coherent system under its signature}, author = {Bueno, Vanderlei da Costa}, year = {2015}, publisher = {IME-USP} }