Modeling and Simulation of Wireless Sensor Network (WSN) with SpecC and SystemC | IEEE Conference Publication | IEEE Xplore