Three papers were accepted for FMICS, the 29th International Conference on Formal Methods for Industrial Critical Systems:

Fault Tree inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based metrics, by Lisandro A. Jimenez-Roa, Nicolae Rusnac, Matthias Volk and Marielle Stoelinga

Formalising the Industrial Language SMMT in mCRL2, by Olav Bunte, Jordi Van Laarhoven (Canon), Louis Van Gool (Canon) and Tim Willemse

Evaluating the Effectiveness of Digital Twins through Statistical Model Checking with Feedback and Perturbations, by Valentina Castiglioni, Ruggero Lanotte, Michele Loreti and Simone Tini.