Using Transaction Level Modeling techniques for wireless sensor network simulation | IEEE Conference Publication | IEEE Xplore