Automated software design and synthesis for distributed control of aircraft fuel systems | Publicación