Studies in model-based diagnosis - Rosli Omar (2000)