Ge, NingIdRef, Dieumegard, ArnaudIdRef, Jenn, EricIdRef, D'Ausbourg, Bruno and Aït-Ameur, YamineIdRef (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).