A Comprehensive Formalization of AADL with Behavior Annex

Figure 12

The code of data in Isabelle/HOL.