ocarina-builder-aadl-properties.ads 5.19 KB