Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2018 - Kazmierski, Tom J.; Steinhorst, Sebastian; Große, Daniel (Lecture Notes in Electrical Engineering, 2020)