Languages, Design Methods, and Tools for Electronic System Design - Oppenheimer, Frank; Medina Pasaje, Julio Luis (Springer International Publishing, 2016)