Optimal Formulation for Maximizing Area Coverage in Wireless Sensor Networks with Mobile Nodes | IEEE Conference Publication | IEEE Xplore