Julien Vidalie, Mohamed-Sami Kendel, Faïda Mhenni, Michel Batteux, Jean-Yves Choley. State Machines Consistency between Model Based System Engineering and Safety Assessment Models. In IEEE International Symposium on Systems Engineering, ISSE 2021, Vienna, Austria, September 13 - October 13, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.