Seol mar théacs é seo: Mathematical modelling of aircraft electrical power systems /