Downloading Embedded systems design based on formal models of computation

Introduction -- Models of computation and languages -- Specification in DFCharts -- Semantics of DFCharts -- DFCharts in systemC and esterel -- Java environment for DFCharts -- Heterogeneous reactive architectures of embedded systems -- Implementation of DFCharts on HiDRA -- Conclusions.