more AADL models