A Formal and Efficient Routing Model for Persistent Traffics in the Internet of Things | IEEE Conference Publication | IEEE Xplore