Effective coverage in sensor networks: Binary integer programming formulations and heuristics | IEEE Conference Publication | IEEE Xplore