Enabling the Automated Generation of the Failure and Redundancy Management for Distributed and Integrated Fly-by-Wire Avionics | IEEE Conference Publication | IEEE Xplore