Languages, design methods, and tools for electronic system design selected contributions from FDL 2017 - Grosse, Daniel; Patel, Hiren; Vinco, Sara (Lecture Notes in Electrical Engineering, 2019)