A Comprehensive Formalization of AADL with Behavior Annex

Figure 16

The code of system in Isabelle/HOL.