Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 - Große, Daniel; Große, Daniel; Vinco, Sara; Vinco, Sara; Patel, Hiren; Patel, Hiren (Springer International Publishing : Imprint: Springer, 2019)