Aircraft Power Network Development with Model Based Design