Mathematical modeling of the generator failure detection process in the on-board network of an electrified aircraft | IEEE Conference Publication | IEEE Xplore