Ashok Goel & Eleni Stroulia. Functional Device Models and Model-Based Diagnosis in Adaptive Design. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue on Functional Representation and Reasoning, 10:355-370, 1996.