I N V E N T I V EI N V E N T I V E CONFIDENTIAL Model-Based Design: an instance Stavros Tripakis Cadence Berkeley Labs Talk at EE249, Nov 2006.