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