Title: Mathematical modelling of aircraft electrical power systems