Knowledge-based diagnosis for aerospace systems | lit.salon