NASA NTRS1993Extending Model-Based Diagnosis for Analog Thermodynamical DevicesUNKNOWNThermodynamics↗