Murat Demirbas Anish Arora An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks. 203-217 2008 SSS http://dx.doi.org/10.1007/978-3-540-89335-6_17 conf/sss/2008 db/conf/sss/sss2008.html#DemirbasA08