An AADL example