Ge, Ning, Dieumegard, Arnaud, Jenn, Eric, D'Ausbourg, Bruno and Aït-Ameur, Yamine (2018) Formal development process of safety critical embedded human machine interface systems. In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 12-15/09/2017, Sophia Antipolis (France).