Process algebra to model self-organizing behavior in Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore