Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 - Große, Daniel; Vinco, Sara; Patel, Hiren (Lecture Notes in Electrical Engineering, 2019)