test.aadl:5:05:  (package name) is not a package or a property set visible or existing
Cannot analyze AADL specifications