Languages, Design Methods, and Tools for Electronic System Design - Fummi, Franco (Springer International Publishing, 2018)