AIDA is a study case for model based system engineering, made by MOISE project.
For more information on the package registry, see the documentation.