An AADL model