Code Generation from Statecharts: Simulation of Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore