Oliver Sharma Jonathan Lewis Alice Miller Alan Dearle Dharini Balasubramaniam Ronald Morrison Joe Sventek Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. 223-240 2009 SPIN http://dx.doi.org/10.1007/978-3-642-02652-2_19 conf/spin/2009 db/conf/spin/spin2009.html#SharmaLMDBMS09