Tutorial #4: AADL Threads