Model-driven design methods are essential to guarantee the proper functioning and the required performance of embedded systems (ES) and cyber-physical systems (CPS). This course introduces models of computation that enable functional analysis, performance analysis and simulation-based evaluation techniques for ES and CPS. The course covers automata, dataflow and stochastic models, their analysis methods, and their application to system design and synthesis.