Languages, Design Methods, and Tools for Electronic System Design - GroÃe (Springer International Publishing, 2019)