Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 - Oppenheimer, Frank; Medina Pasaje, Julio Luis (Springer International Publishing : Imprint: Springer, 2016)