Research Article

A Comprehensive Formalization of AADL with Behavior Annex

Figure 33

The System execution Start_Complete semantic.