Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0