@inproceedings{4431,
  abstract     = {We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.},
  author       = {Henzinger, Thomas A and Sifakis, Joseph},
  booktitle    = {Proceedings of the 14th international conference on Formal Methods},
  isbn         = {9783540372158},
  issn         = {1611-3349},
  location     = {Hamilton, Canada},
  pages        = {1 -- 15},
  publisher    = {Springer Nature},
  title        = {{The embedded systems design challenge}},
  doi          = {10.1007/11813040_1},
  volume       = {4085},
  year         = {2006},
}