This is the first book on embedded systems to offer a unified approach to hardware and software specification and design issues -- and the first to outline a new specify-explore-refine paradigm that... This description may be from another edition of this product.