Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. - Silvia Mazzini; Laura Baracchi; Stefano Puri; Mauro Pasquinelli; Diego Gerbaz; Joachim Fuchs; Valter Basso; Lorenzo Pace; Marco Lassalle; Juhani Viitaniemi (CIISE, 2014)

A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications. - Silvia Mazzini; John M. Mavaro; Laura Baracchi (ITSC, 2015)

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. - Laura Baracchi; Silvia Mazzini; Stefano Puri; Tullio Vardanega (Ada-Europe, 2016)

CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. - Silvia Mazzini; John M. Favaro; Stefano Puri; Laura Baracchi (EduSymp/OSS4MDE@MoDELS, 2016)

JINR Open Access Repository based on the JOIN² Platform. - Irina Filozova; Tatyana Zaikina; Galina Shestakova; Roman Semenov; Martin Köhler; Alexander Wagner; Laura Baracchi (DAMDID/RCDL (Supplementary Proceedings), 2020)