Automated software design and synthesis for distributed control of aircraft fuel systems | IEEE Conference Publication | IEEE Xplore