Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. - Méré, Maxime; Jouault, Frédéric; Pallardy, Loïc; Perdriau, Richard (Software & Systems Modeling, 2025)