Issue No. 01 - January (2001 vol. 34)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.962986
<p>Designers can use hardware components and an executable specification language to efficiently prototype embedded distributed systems.</p>
R. Vrba and M. Sveda, "Executable Specifications for Embedded Distributed Systems," in Computer, vol. 34, no. , pp. 138-140, 2001.