A Distributed Protocol for Ensuring Both Probabilistic Coverage and Connectivity of High Density Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore