An Energy-Efficient and Distributed Cooperation Mechanism for k-Coverage Hole Detection and Healing in WSNs | IEEE Conference Publication | IEEE Xplore