-each round of the sensing phase. The integer program is based on the model
-proposed by \cite{pedraza2006} with some modification, where the objective is to
-find a maximum number of disjoint cover sets. To fulfill this goal, the authors
-proposed an integer program which forces undercoverage and overcoverage of
-targets to become minimal at the same time. They use binary variables $x_{jl}$
-to indicate if sensor $j$ belongs to cover set $l$. In our model, we consider
-binary variables $X_{t,j}$ to determine the possibility of activation of sensor
-$j$ during the round $t$ of a given sensing phase. We also consider primary
-points as targets. The set of primary points is denoted by $P$ and the set of
-sensors by $J$. Only sensors able to be alive during at least one round are
-involved in the integer program.
+each round of the sensing phase. The integer program is based on the model
+proposed by \cite{pedraza2006} with some modifications, where the objective is
+to find a maximum number of disjoint cover sets. To fulfill this goal, the
+authors proposed an integer program which forces undercoverage and overcoverage
+of targets to become minimal at the same time. They use binary variables
+$x_{jl}$ to indicate if sensor $j$ belongs to cover set $l$. In our model, we
+consider binary variables $X_{t,j}$ to determine the possibility of activation
+of sensor $j$ during the round $t$ of a given sensing phase. We also consider
+primary points as targets. The set of primary points is denoted by $P$ and the
+set of sensors by $J$. Only sensors able to be alive during at least one round
+are involved in the integer program.