Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 - Louërat, Marie-Minerve; Maehne, Torsten (Springer International Publishing : Imprint: Springer, 2015)