CTN Schedule for AADL Events