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

A Contract-based Methodology for Production Lines Validation. - Roberta Chirico; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi (INDIN, 2019)

Production Recipe Validation through Formalization and Digital Twin Generation. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (DATE, 2020)

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (IEEE Trans. Ind. Informatics, 2021)