Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 - Kazmierski; Große, Daniel; Steinhorst, Sebastian (Springer International Publishing, 2020)