A framework for the control of electro-thermal aircraft power systems