1. 2021. WUSTL Wireless Sensor Network Testbed. http://wsn.cse.wustl.edu/index.php?title=Testbed 2021. WUSTL Wireless Sensor Network Testbed. http://wsn.cse.wustl.edu/index.php?title=Testbed
2. Yuvraj Agarwal Bharathan Balaji Seemanta Dutta Rajesh K Gupta and Thomas Weng. 2011. Duty-cycling buildings aggressively: The next frontier in HVAC control. In IPSN. Yuvraj Agarwal Bharathan Balaji Seemanta Dutta Rajesh K Gupta and Thomas Weng. 2011. Duty-cycling buildings aggressively: The next frontier in HVAC control. In IPSN.
3. A Survey of Symbolic Execution Techniques
4. Ryan Brummet Md Kowsar Hossain Octav Chipara Ted Herman and Steve Goddard. [n.d.]. WARP: On-the-fly Program Synthesis for Agile Real-time and Reliable Wireless Networks. https://drive.google.com/file/d/1K1ve9fC3Hp0VOaAUvH0bxhgD2sIuEFH3/view?usp=sharing. Ryan Brummet Md Kowsar Hossain Octav Chipara Ted Herman and Steve Goddard. [n.d.]. WARP: On-the-fly Program Synthesis for Agile Real-time and Reliable Wireless Networks. https://drive.google.com/file/d/1K1ve9fC3Hp0VOaAUvH0bxhgD2sIuEFH3/view?usp=sharing.