Issue No. 02 - April-June (2000 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.844330
<p>The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design.</p>
L. Lavagno, A. Sangiovanni-Vincentelli and M. Sgroi, "Formal Models for Embedded System Design," in IEEE Design & Test of Computers, vol. 17, no. , pp. 14-27, 2000.