Probabilistic coverage in wireless sensor networks