High-Integrity Reprogrammig System in Wireless Sensor Networks | AMiner