Slide 1Model Based Systems Engineering Jonathan Sprinkle Center for Hybrid and Embedded Software Systems http://www.eecs.berkeley.edu/~sprinkle/ Slide 2 2 22 May 2006 Jonathan…