Model Based Reasoning of Device Behavior with Causal Ordering (1988)

by Y IWASAKI