Modeling the Message Count of the Trickle Algorithm in a Steady-State, Static Wireless Sensor Network | IEEE Journals & Magazine | IEEE Xplore