taste_properties.aadl 7.46 KB