Dependable k-coverage algorithms for sensor networks | IEEE Conference Publication | IEEE Xplore