EPSRC CASE Studentship with Airbus - Mechatronics Modelling: Abstraction and Refinement from Bond Graphs with Applications to Aircraft Systems