Slide 1 http://cadena.projects.cis.ksu.edu SAnToS Laboratory, Kansas State University, USA Cadena: Analyzing Component- based Embedded System Designs Matthew Dwyer John Hatcliff…