A Comprehensive Formalization of AADL with Behavior Annex

Figure 35

The segmental code of Thread in Isabelle/HOL.