example_009.aadl:7:06: base_types (identifier) is not a package or a property set visible or existing example_009.aadl:78:06: base_types (identifier) is not a package or a property set visible or existing
Cannot analyze AADL specifications
