An Optimization Model and Tabu Search Heuristic for Scheduling of Tasks on a Radar Sensor | IEEE Journals & Magazine | IEEE Xplore