Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays