CRII: CPS: Secure-by-Design Synthesis of Cyber-Physical Systems Submitted by Andrew Clark on Tue, 01/09/2018 - 13:00 1656981 Worcester Polytechnic Institute CPS-PI Meeting 2017