On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. - Marina Dioto; Eduardo Rohde Eras; Valdivino Alexandre de Santiago Júnior (ICCSA (2), 2019)