Sensor Networks for High-Confidence Cyber-Physical Systems - Feng Xia; Tridib Mukherjee; Yan Zhang; Ye-Qiong Song (International Journal of Distributed Sensor Networks)