Languages Design Methods and Tools for Electronic System Design