The Embedded Systems Design Challenge

Cite this paper

@inproceedings{Henzinger2006TheES, title={The Embedded Systems Design Challenge}, author={Thomas A. Henzinger and Joseph Sifakis}, booktitle={FM}, year={2006} }