TLD example in AADL