ERTS 2018 paper: Formalise to automate: deployment of a safe and cost-efficient process for avionics software