A New k-Coverage Model To Determine Redundant Sensors in Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore