An area coverage control protocol based on probabilistic coverage for wireless sensor networks | IEEE Conference Publication | IEEE Xplore