5 Modeling and Availability Assessment of Mobile Healthcare IoT Using Tree Analysis and Queueing Theory | part of Dependable IoT for Human and Industry: Modeling, Architecting, Implementation | River Publishers books | IEEE Xplore