Title: Model-based reasoning in diagnostic expert systems for chemical process plants