Diniz, Morganna, Menasché, Daniel, Leão, Rosa, Silva, Edmundo, AND Avritzer, Alberto. " Quantifying the Reliability of Electrical Networks: An Approach via Markovian Reward Models" Proceedings of the Workshop on Performance of Computer and Communication Systems (WPerformance) [Online], (16 July 2012)