Bowen Zheng: Cross-Layer Design of Reliable and Secure Cyber-Physical Systems. University of California, Riverside, USA 2018