Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering, Band 311)