Library of AADL models