Languages, Design Methods, and Tools for Electronic System Design - Drechsler, Rolf; Wille, Robert (Springer International Publishing, 2016)