Compositionality for Cyber-Physical Systems Submitted by Rance Cleaveland on Fri, 11/04/2016 - 23:18 2016 National CPS PI Meeting 2016