taste_properties.aadl 7.03 KB