MADES: Embedded Systems Engineering Approach in the Avionics Domain