Towards the Formal Performance Analysis of Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore