A Comprehensive Formalization of AADL with Behavior Annex

Figure 9

The code of component type base in Isabelle/HOL.