Formalise to automate: deployment of a safe and cost-efficient process for avionics software A Brahmi, D Delmas, MH Essoussi, F Randimbivololona, A Atki, T Marie 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018 | 17 | 2018 |