Mohammad Maifi Hasan Khan Tarek F. Abdelzaher Jiawei Han Hossein Ahmadi Finding Symbolic Bug Patterns in Sensor Networks. 131-144 2009 DCOSS http://dx.doi.org/10.1007/978-3-642-02085-8_10 conf/dcoss/2009 db/conf/dcoss/dcoss2009.html#KhanAHA09