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 is presently being used in industry in an ad-hoc manner, but until now has not been formally described....