taste_properties.aadl 7.38 KB