A Comprehensive Formalization of AADL with Behavior Annex

Figure 15

The code of process in Isabelle/HOL.