Scalable Component Based Model Revision with Separation of Concerns for Cyber Physical Systems Download pdf Tags: assurance formal methods maintenance program system repair CPS Domains Transportation Automotive CPS Technologies Foundations Modeling 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Sandeep Kulkarni on Thu, 02/20/2014 - 10:06