VCube: a provably scalable distributed diagnosis algorithm. - Elias P. Duarte Jr.; Luis Carlos Erpen De Bona; Vinicius K. Ruoso (ScalA@SC, 2014)