GitHub repository: umichan0621/AADLib
Description: Library of AADL models