Research Article

A Comprehensive Formalization of AADL with Behavior Annex

Figure 7

The syntax of component type base.