Authors: Thomas A. Henzinger, EPFL Lausanne. Joseph Sifakis, VERIMAG Grenoble.

The authors call for a coherent scientific foundation for embedded systems design and discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. They believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.
See it online!