Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 - Fummi, Franco; Fummi, Franco; Wille, Robert; Wille, Robert (Springer International Publishing : Imprint: Springer, 2018)