Efficient algorithm for k-barrier coverage based on integer linear programming | IEEE Journals & Magazine | IEEE Xplore