Secure-by-Design Synthesis of Cyber-Physical Systems Submitted by Andrew Clark on Fri, 05/15/2020 - 12:53 1656981 CPS PI Meeting 2019