Torsten Maehne

• Languages, Design Methods, and Tools for Electronic System Design