Modeling and analysis of multi-type failures in wireless body area networks with semi-Markov model | IEEE Journals & Magazine | IEEE Xplore