Yumi Iwasaki Model-based Reasoning of Device Behavior with Causal Ordering Degree Type: Ph.D. in Computer Science Advisor(s): Herbert Simon Graduated: May 1988