Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018 - Fummi, Franco (Springer International Publishing, 2020)