@conference {231, title = {Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring}, booktitle = {Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the}, year = {2013}, month = {April}, pages = {40-48}, keywords = {accelerometers, Code Generation, communication task, computation task, Computational modeling, concurrent engineering, concurrent tasks specification, control tasks, cyber-physical systems, domain-specific modeling language, drifters, embedded programming, environmental monitoring (geophysics), environmental science computing, floating sensor testbed, formal specification, Global Positioning System, GPS sensors, hand-written code, Instruction sets, mobile computing, mobile phone, mobile radio, mobile sensing platforms, model-based software synthesis, model-integrated computing, program compilers, Programming, self-reconfigurable sensor network, Smart phones, software synthesis, ubiquitous mobile device, Unified modeling language, water flow monitoring, wireless sensor networks}, doi = {10.1109/ECBS.2013.34}, url = {http://dx.doi.org/10.1109/ECBS.2013.34}, author = {Kun Zhang and Jonathan Sprinkle} }