SIP2: High integrity in Sensor Networks: Models, Techniques, and System Support - Meru Sandbox