Diniz, M., Menasché, D., Leão, R., Silva, E., & Avritzer, A. 2012 Jul 16. 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] :