June 18, 2014 By Kim Gudeman, CSL Professor Develops Verification Tool for Trustworthy Cyber-Physical Systems