Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 | IEEE Conference Publication | IEEE Xplore