Integration of different MBSE approaches within the design of a control maintenance system applied to the aircraft fuel system | IEEE Conference Publication | IEEE Xplore