Model-based diagnosis of the space shuttle main engine. - Martin O. Hofmann; Thomas L. Cost; Michael Whitley (Artif. Intell. Eng. Des. Anal. Manuf., 1992)