This is the first book on embedded systems to offer a unified app Paperbackroach 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.
