Languages, Design Methods, and Tools for Electronic System Design | Publicación