Troubleshooting based on a functional device representation: diagnosing faults in the external active thermal control system of Space Station Freedom
Keyword(s):
Keyword(s):