Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 - Oppenheimer, Frank; Medina Pasaje, Julio Luis (Springer, 2016)