Modeling the S-MAC Protocol in Single-Hop Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore