State Machines Consistency between Model Based System Engineering and Safety Assessment Models. - Julien Vidalie; Mohamed-Sami Kendel; Faïda Mhenni; Michel Batteux; Jean-Yves Choley (ISSE, 2021)