Challenges of Applying Formal Methods to Automotive Control Systems Download pdf Tags: automotive controls CPS Domains Transportation Automotive CPS Technologies Foundations Validation and Verification 2014 2014 National Workshop on Transportation CPS Publications Position Paper Industry CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Ken Butts on Thu, 02/20/2014 - 10:06