Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi: Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL 2019: 1-4