On k-coverage in a mostly sleeping sensor network | Synapse