CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI) Submitted by tripakis on Tue, 01/09/2018 - 15:33 University of California at Berkeley 1329759 CPS-PI Meeting 2017