IEE Colloquium Applications of Model-Based Reasoning (Digest No.1997/338) | IET Conference Publication | IEEE Xplore