This example demonstrates the propagation of range bounds in a system of models connected by
input-output relationships. The ranges bouds computed in one model can impact the processing in
another model that receives its inputs from the outputs of the first model.

Claim Template Used: MultiModelAnalysis

Model1 receives its inputs only from external sources. Model1 produces outputs that are fed as
inputs to Model2. Model2 receives inputs from external sources as well as from Model1
outputs. Model3 receives inputs from external sources as well as from Model1 and Model2 outputs.
The range bounds computed in Model1 results in defects in Model2. Range bounds computed in Model1
and Model2 results in defects in Model3.

The exmaple is run as follows:

  % hilite Analyze_Model1.hilite HiLiTE_Output
  % hilite Analyze_Model2.hilite HiLiTE_Output
  % hilite Analyze_Model3.hilite HiLiTE_Output