Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes