A Comprehensive Formalization of AADL with Behavior Annex

Figure 14

The code of Thread in Isabelle/HOL.