COSMOI: Compositional System Modeling with Interfaces Submitted by tripakis on Fri, 11/04/2016 - 23:29 2016 National CPS PI Meeting 2016