Model-based design for embedded systems. (©2010)