Energy-Efficient Probabilistic Area Coverage in Wireless Sensor Networks | IEEE Journals & Magazine | IEEE Xplore