\begin{abbreviations}
-\item[WSN] Wireless Sensor Network
-\item[DILCO] Distributed Lifetime Coverage Optimization
-\item[MuDiLCO] Multiround Distributed Lifetime Coverage Optimization
-\item[PeCO] Perimeter-based Coverage Optimization
-\item[OMNeT++] Objective Modular Network Testbed
-\item[DESK] Distributed Energy-efficient Scheduling for K-coverage
-\item[GAF] Geographical Adaptive Fidelity
-\item[PDA] Personal Digital Assistant
-\item[WLAN] Wireless Local-Area Network
-\item[MEMS] Micro-Electro-Mechanical Systems
\item[ADC] Analog to Digital Converters
-\item[VCO] Voltage-Controlled Oscillator
-\item[PLL] Phase-Locked Loop
-\item[GPS] Global Positioning System
-\item[OS] Operating System
-\item[CMOS] Complementary Metal-Oxide-Silicon
-\item[MAV] Micro Aerial Vehicle
-\item[ECG] Electrocardiogram
-\item[SCADA] Supervisory Control and Data Acquisition
-\item[QoS] Quality of Service
-\item[DSC] Disjoint Set Covers
-\item[MIP] Mixed Integer Programming
-\item[LP] Linear Programming
-\item[GAS] Geometrically based Activity Scheduling
-\item[NCG] Node Coverage Grouping
+\item[AIMMS] Advanced Interactive Multidimensional Modeling System
+\item[AMPL] A Mathematical Programming Language
+\item[ASR] Active Sensors Ratio
+\item[BCP] Branch Cut and Price
+\item[CBC] COIN-OR Branch and Cut
\item[CG] Column Generation
-\item[MLP] Maximum-network Lifetime Problem
-\item[RMP] Restricted Master Problem
-\item[PS] Pricing Subproblem
-\item[GRASP] Greedy Randomized Adaptive Search Procedure
-\item[VNS] Variable Neighborhood Search
-\item[CSB] Cover Sets Balance
+\item[CMOS] Complementary Metal-Oxide-Silicon
\item[CNSC] Correlated Node Set Computing
-\item[HREF] High Residual Energy First
-\item[SHM] Structural Health Monitoring
-\item[ESA] Effective Sensing Area
-\item[MSCR] Maximum Sensing Coverage Region
+\item[COIN-OR] COmputational INfrastructure for Operations Research
+\item[CR] Coverage Ratio
+\item[CSB] Cover Sets Balance
\item[DASSA] Distributed Adaptive Sleep Scheduling Algorithm
+\item[DESK] Distributed Energy-efficient Scheduling for K-coverage
+\item[DILCO] Distributed Lifetime Coverage Optimization
+\item[DSC] Disjoint Set Covers
\item[DTGA] Distributed Truncated Greedy Algorithm
+\item[EC] Energy Consumption
+\item[ECG] Electrocardiogram
+\item[ESA] Effective Sensing Area
\item[FIT] Future Internet of the Things
-\item[GUI] Graphical User Interface
-\item[NED] NEtwork Description
-\item[ns-2] Network Simulator-2
-\item[OPNET] Optimized Network Engineering Tool
+\item[GAF] Geographical Adaptive Fidelity
+\item[GAMS] General Algebraic Modeling System
+\item[GAS] Geometrically based Activity Scheduling
\item[GloMoSim] Global Mobile System Simulator
-\item[SENSE] Sensor Network Simulator and Emulator
-\item[GTSNetS] Georgia Tech Sensor Network Simulator
-\item[GNU] GNU's Not Unix
\item[GLPK] GNU Linear Programming Kit
-\item[MPS] Mathematical Programming System
-\item[COIN-OR] Linear Programming
-\item[BCP] Branch Cut and Price
-\item[CBC] COIN-OR Branch and Cut
-\item[OPL] Optimization Programming Language
-\item[QP] Quadratic Programming
-\item[QCP] Quadratically Constrained Programming
+\item[GNU] GNU's Not Unix
+\item[GPS] Global Positioning System
+\item[GRASP] Greedy Randomized Adaptive Search Procedure
+\item[GTSNetS] Georgia Tech Sensor Network Simulator
+\item[GUI] Graphical User Interface
+\item[HREF] High Residual Energy First
+\item[IP] Integer Programming
+\item[LP] Linear Programming
+\item[MAV] Micro Aerial Vehicle
+\item[MCU] Microcontroller Unit
+\item[MEMS] Micro-Electro-Mechanical Systems
\item[MILP] Mixed Integer Linear Programming
+\item[MIP] Mixed Integer Programming
\item[MIQP] Mixed-Integer Quadratic Programming
\item[MIQCP] Mixed-Integer Quadratically Constrained Programming
-\item[AIMMS] Advanced Interactive Multidimensional Modeling System
-\item[AMPL] A Mathematical Programming Language
-\item[GAMS] General Algebraic Modeling System
+\item[MLP] Maximum-network Lifetime Problem
\item[MPL] Mathematical Programming Language
+\item[MPS] Mathematical Programming System
+\item[MSCR] Maximum Sensing Coverage Region
+\item[MuDiLCO] Multiround Distributed Lifetime Coverage Optimization
+\item[NCG] Node Coverage Grouping
+\item[NED] NEtwork Description
+\item[ns-2] Network Simulator-2
+\item[OMNeT++] Objective Modular Network Testbed
+\item[OPL] Optimization Programming Language
+\item[OPNET] Optimized Network Engineering Tool
+\item[OS] Operating System
+\item[PDA] Personal Digital Assistant
+\item[PeCO] Perimeter-based Coverage Optimization
+\item[PLL] Phase-Locked Loop
+\item[PS] Pricing Subproblem
+\item[QCP] Quadratically Constrained Programming
+\item[QoS] Quality of Service
+\item[QP] Quadratic Programming
+\item[RMP] Restricted Master Problem
+\item[SCADA] Supervisory Control and Data Acquisition
+\item[SENSE] Sensor Network Simulator and Emulator
+\item[SHM] Structural Health Monitoring
\item[UAV] Unmanned Aerial Vehicle
-\item[WSNL] Wireless Sensor Node Leader
-\item[MCU] Microcontroller Unit
-\item[CR] Coverage Ratio
-\item[EC] Energy Consumption
-\item[ASR] Active Sensors Ratio
+\item[VCO] Voltage-Controlled Oscillator
+\item[VNS] Variable Neighborhood Search
+\item[WLAN] Wireless Local-Area Network
+\item[WSN] Wireless Sensor Network
+%\item[WSNL] Wireless Sensor Node Leader
\end{abbreviations}