A Comprehensive Formalization of AADL with Behavior Annex

Figure 6

The code of Connection in Isabelle/HOL.