page 1  (13 pages)
2to next section

1. Introduction .....................................................................................2
2. Model-based reasoning about device behavior..............................................2
3. Difficulty with reasoning with multiple models.............................................4
3.1 Dimensions of abstraction...........................................................5
3.2 Explicit representation of the reasoning goals ....................................5
4. Selecting a process model .....................................................................6
5. Reasoning with multiple models..............................................................7
5.1 Use of relative value measurement.................................................8
5.2 Changing landmark values..........................................................9
6. Summary and Discussion......................................................................10