11. Example Models
A number of AADL models have been developed to demonstrate the functionality of the OSATE tool environment.  Descriptions of each are given below.