Aircraft power systems: technology, state of the art, and future trends | IEEE Journals & Magazine | IEEE Xplore