ocarina-be_aadl-properties.adb 12.8 KB