Linear Complexity for k-Coverage Sensor Redundancy Determination in IoT | IEEE Conference Publication | IEEE Xplore