Functional representation and reasoning about the F/A-18 aircraft fuel system | IEEE Journals & Magazine | IEEE Xplore