Matt Welsh Geoffrey Mainland Programming Sensor Networks Using Abstract Regions. 29-42 2004 conf/nsdi/2004 NSDI http://www.usenix.org/events/nsdi04/tech/welsh.html db/conf/nsdi/nsdi2004.html#WelshM04