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